Add kern_system_info() system call

Add a system call for retrieving system information. Currently we have
on bit of information that can be retrieved, the system page size.