fix: some cases where the correct stdint.h header file may not be found#87

gmarull merged 1 commit intopebble-dev:mainpebble-dev/pebble-firmware:mainfrom

HalfSweet:mainHalfSweet/pebble-firmware:mainCopy head branch name to clipboard