It seem really easier to do that instead: checkout the source used at the factory make menuconfig locate the VMX configuration: go in "Chipset --->" and then enable VMX: [*] Enable VMX for virtualization make crossgcc make
By the way, do we have the .config of the chromebooks? Because according to that howto it's not in cbfs...
this wasn't intended to be a howto for building your own coreboot version for chromebooks... but a howto for making the chromebooks ready for flashing... hence we have to locate the write protect jumper, if there are any... and locate the spi chips to help people recover there chromebooks when they had a bad flash...