Further work on paging code, minor cleanup, and a utility function for reading CR0