Fix cleaning SeaBIOS from coreboot makefile