[coreboot] Coreboot on HP Pavilion G4 1317AU ?