src/memory/paging.c: Fixing incorrect conditional