On 13.06.14 13:02:55, Tomasz Nowicki wrote: > V2->V3 > - address Robert's comment > - disable ACPI_APEI_NMI selection so that it is hard selected by arch Kconfig > - rename ACPI_APEI_NMI to ARCH_HAS_ACPI_APEI_NMI Btw, it would be easier to wait a bit with reposting a new patch set until there are no further comments expected for *all* patches (I didn't have the time to look through all patches yet). Thanks, -Robert -- To unsubscribe from this list: send the line "unsubscribe linux-acpi" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html