libbarrelfish: vspace_mmu_aware: fix frame_alloc() retry condition.