Re: [coreboot] Coreboot and HP Pavilion 6746C-L?