cec: include stdint.h in windows/os-types.h instead of typedef'ing ints