p51xx: correct kernel page size

Change-Id: I704566cc0777c48641513113b32a3836a53eb241