Port the OS loader to GCC and add minor fixes in the CD-ROM bootloader