[coreboot] Will coreboot work on my machine, HP XW9300?