Initial modifications to make the bootloader compile