Hello,

Documentation at http://www.coreboot.org/QEMU_Build_Tutorial#Building_or_finding_a_Linux_kernel
mentions

Note: disable CONFIG_WRITE_HIGH_TABLES. Building coreboot with this option enabled crashes during elf image execution.

pankaj@ubuntu:~/LDev/coreboot$ grep --recursive  CONFIG_WRITE_HIGH_TABLES *
pankaj@ubuntu:~/LDev/coreboot$ 

There is CONFIG_WRITE_HIGH_TABLES in the code /configuration, please tell if this is still needed.

Thanks,
Pankaj