[coreboot-gerrit] Change in ...coreboot[master]: LinuxBoot/targets/linux.mk: refactor kernel compilation