Dumping the kernel's printk buffer from the bootloader