Profiling switch

Could be useful to help @talex5 to complete http://roscidus.com/blog/blog/2014/08/15/optimising-the-unikernel/