Added kernel dump and moved pager to kernel