HAL_Linux: fixed scheduler initialisation bug in Linux HAL as well