libkernel: Don't hardcode page size, get from kern_system_info()

Signed-off-by: Alex Smith <alex@alex-smith.me.uk>