Overall change in the physical memory management. Changed management
type from stack and bitmap to only bitmap.
Bugfix: This bug occured when a page is allocated in a kerneldata
section. The problem was that the last page of the kernel was freed.
Added missing include.