Enable the use of --gc-sections
add_pages_to_pool in x86_map_physical_pages is broken
Implement arch specific part of hwtimer for x86
Move glue functions into one file
Add copy right headers
Add documentation for x86 headers