1*dd84058dSMasahiro YamadaCONFIG_SYS_EXTRA_OPTIONS="SYS_TEXT_BASE=0x01110000" 2*dd84058dSMasahiro YamadaCONFIG_X86=y 3*dd84058dSMasahiro YamadaCONFIG_TARGET_COREBOOT=y 4