Tim's Linux stuff

• LinLoader, a Linux bootloader for RiscPC and later RISC OS systems.
• Linux 2.2.7-rmk4 compiled for RiscPCs