libertas/if_spi: needs linux/semaphore.h