Interface and implementation improvements for PFDB
Improved PFDB to use less memory per frame (32bits instead 64bits)
Remove TCC
Improve PFDB procfs functions
Update README.md
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,
Merge branch 'master' into 'feature_elf'

Conflicts:
	src/sys/kernel/start.c
Modifies the 'osloader' to load a kernel in ELF32 format.