x86, setup: Fix typo "CONFIG_x86_64" in <asm/boot.h>