Hikey plat: Make get_dev_p_reg definition meet its declaration
Hikey plat: Make get_dev_p_reg definition meet its declaration

Otherwise Hikey build fails on my machine/compiler.

cmr/seL4,cmr/seL4,cmr/seL4