stdint.h(3avr) on Linux

The text b0804c41200d, as Debian 8 (Jessie) shipped it.

stdint.h(3avr) on Linux now