tests/boot_linux_console: rename the x86_64 after the arch and machine