page allocator: do not disable interrupts in free_page_mlock()