[coreboot] How To Get Coreboot On Dev One

[Tim Crawford]

No. We did not port coreboot to the HP Dev One.