x86: voluntary leave_mm before entering ACPI C3