[coreboot-gerrit] Patch merged into coreboot/master: 73d5d4c mainboard/XXX/YYY/dsdt.asl: Whitespace fix