[coreboot-gerrit] New patch to review for coreboot: b92fcbe winent/mb6047: clean up includes in acpi_tables.c