Fix board init code to respect the C runtime environment