Use Start_info.console_evtchn to get console event channel

Needed on ARM.