The extractor did not build under posix AND osek-v, since the headers,
which come with risc-v are weird.

Change-Id: I43be143492954487a4cbe0d2a206a69b75d206b6