[coreboot] New patch to review for coreboot: e9bda83 Fix cleaning SeaBIOS from coreboot makefile