Re: [coreboot] Help With port Coreboot to HP XW8400