[coreboot] This change is for tidying up some unfinished business in the device code.