Inadvertently added this bug where PAGE_SIZE type is 32bit which causes truncating when using it to round a kernel address.