Debugging the Linux kernel booting process