It is wrong to use toolchain-specific header files. Signed-off-by: Gerard Marull-Paretas <gerard@teslabs.com>