tests/boot_linux_console: update the x86_64 kernel