kernel.h: remove stdint.h
authorAlan Cox <alan@linux.intel.com>
Mon, 19 Oct 2015 20:40:23 +0000 (21:40 +0100)
committerAlan Cox <alan@linux.intel.com>
Mon, 19 Oct 2015 20:40:23 +0000 (21:40 +0100)
commitdf3085d6ace7a83248fefe5d370251b7a2014159
tree6e83a1a72142bc19c45510ee90aa81a47abf17f5
parentc8efbc0bb061a8259705de41b4b42969d3a6e969
kernel.h: remove stdint.h

This was added by the msp340 port, but
- Not all our compilers have stdint.h
- The msp340 includes it from cpu.h anyway
Kernel/include/kernel.h