board_f: Use IS_ENABLED instead of #ifdef in initf_bootstage()