[coreboot] HP-Compaq DC7700CMT