separated kprintf into own header, added num_phys_pages