gcc -O0 can't compile a bootable Linux kernel, which was their goal