[coreboot-gerrit] Change in coreboot[master]: payloads/LinuxBoot: make linux kernel build reproducible