[coreboot-gerrit] Patch merged into filo/master: linux_load: set init_size boot parameter