Fixed some HAL configuaration. Successfully built with gcc