One more aspect on this patchset: when CONFIG_ACPI_TABLE_UPGRADE was inroduced, it was seen as a security problem and disabled by default (unlike for device tree, where feeding entries from the boot loader is standard operating procedure.) Thus functionally makes that possible to bypass that prohibition. Are we giving up that battle, or should this also be conditionalized and default to off (presumably with Xen requiring it)? -hpa
