Siwtched to using vbranched version of device support files that use C99
fixed width types