Hacks for compiling on ARM
Added Start_info.console_evtchn

On ARM, we can't get the console details from the start_info page
because there isn't one.