[coreboot] Help needed on VX900 port