[coreboot-gerrit] Patch set updated for coreboot: e705c19 rmodule: Fix rmodule.ld for 64-bit