Update notes for submitted changes

* p51xx: correct kernel page size