Don't rely on symbols that aren't being autogenerated

Properly follow the cc2538 examples