[coreboot] vortex86ex