[coreboot] Patch merged into coreboot/master: d64e293 Move top level pc80 directory to drivers/