RISC OS/RPi 3 support

All,

Build 3460 or later should run fine on the Raspberry Pi 3 under RISC OS.
As none of the developers have such hardware, please could somebody who
does please test this and ensure it works.

Thanks,


John-Mark.