mm/frame_vector.c: release a semaphore in 'get_vaddr_frames()'