Re: [coreboot] [PATCH] Change default rom emulator to VM86 on IP1000 and RM4100