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