[S390] Add four level page tables for CONFIG_64BIT=y.