Thanks @maxgerhardt - adding that library and the linker flag and it all works perfectly.
It works using the latest Arduino IDE - literally a fresh install when I compiled the code. I’m afraid I don’t know the internals of Arduino or PlatformIO or how the boards/libraries work, so I’m not sure where to start validating and suggesting a fix.