ACPI: scheduling in atomic via acpi_evaluate_integer ()