[coreboot-gerrit] Change in coreboot[master]: cbfstool/linux_trampoline: Fill the ACPI RSDP entry