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