platform.h: Add Acorn RISC OS