[coreboot] Patch merged into coreboot/master: e9bda83 Fix cleaning SeaBIOS from coreboot makefile