moving paging code to page.h
paging still not working
moving stuff around
adding timer frequency definition
chaning printf to printk
adding printk definitions