Use more conservative stack sizes.
Clean-up the cc2538dk blacklistings.
Fix cppcheck warning.