stmhal: Fix build issues with (old) CC3000 driver.

Addresses issue #825.