Comment out ffunction-sections, hurts debugging
add_pages_to_pool in x86_map_physical_pages is broken
Implement measuring CPU speed