[coreboot] HP M6-1035dx vga bios option rom