[coreboot] Patch set updated for coreboot: 63c600d Move top level pc80 directory to drivers/