Rename functions for page management and fix coding style for some files
Modify the 'include' of several files
Rename machine API and improve some CPU related functions
Move x86 implementation to a new directory and add minor improvements
Normalize function names of the task scheduler
Fixed name and visibility for some task scheduler functions.
Minor improvements in scheduler and trap prototypes and implementation
Improvements on trap interface and implementation.
Interface and implementation improvements for PIC (8259) and PIT
Interface and implementation improvements for PFDB
Improved PFDB to use less memory per frame (32bits instead 64bits)
Remove TCC
Improve PFDB procfs functions
Interface and implementation improvements for kernel memory allocator and resource map
Output additional system information while booting
Merge branch 'api_rename' into 'master'

ssage to explain why this merge is necessary,