x86: coreboot: Move coreboot-specific defines from coreboot.h to Kconfig