[S390] Change kernel_page_present coding style.