[coreboot] Patch merged into master: d402be7 Fix up various dsdt.asl files