[coreboot] DL145 G1 with dual dualcore CPU using coreboot ?

[ron minnich]

That IPMI stuff is a huge pain in the neck. You can try to disable it
as I did on the Dell.

src/mainboard/dell/s1850/romstage.c

ron