[ 0.000000] Booting Linux kernel...