[coreboot] Re: HP Elitebook 8540w