Fix compilation on linux/baremetal x86