OK, I’ve got it working.
Having come across some clues here, in the exchange between ivankravets and fabltd, I modified the file at ~/.platformio/packages/tool-openocd/scripts/target/nrf51.cfg. I replaced line 24 with “set WORKAREASIZE 0”. Upload works now, just a bit slow, but I can live with that.