[coreboot-gerrit] Change in ...coreboot[master]: Makefile.inc: Optimize generating the default x86 fmap