Fix compile error on nommu for is_swap_pte