setjmp.h(3avr) on Linux

The text 102f58b5a96f, as Debian 9 (Stretch) shipped it.

setjmp.h(3avr) on Linux now