[coreboot] [PATCH] Fix small type in root Makefile.