Kernel and Bootloader codes for Rock II (& Paper II)