* device/include/stdint.h: added