Changes required for RISC OS to boot with a new partition offset