x86: mm/fault: Fix semaphore imbalance