Added a new debug print statement in runtime_mstart right before the call to runtime_minit