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