[coreboot] Help With port Coreboot to HP XW8400