[arch] add arch_ints_disabled()
[debug] add STATIC_ASSERT
[platform][stellaris] use lk's assert
[platform][stellaris] begin of a gpio api