[coreboot] HP Elitebook 8540w