inttypes.h(3avr) on Linux

The text b3f02a30d3fa, as Debian 12 (Bookworm) shipped it.

inttypes.h(3avr) on Linux now