[FerretFred]

I have 10 Raspberry Pi's with Debian Stretch and Jessie - the Raspbian variant. I updated a "sacrificial" Pi and rebooted without error.. this time!

  Package: linux-libc-dev
  Version: 4.9.82-1+deb9u3+rpi1
  Priority: optional
  Section: devel
  Source: linux-4.9
  Maintainer: Debian Kernel Team <[e-mail]>
  Installed-Size: 4,466 kB
  Provides: linux-kernel-headers
  Homepage: https://www.kernel.org/
  Download-Size: 1,300 kB
  APT-Manual-Installed: no
  APT-Sources: http://raspbian.raspberrypi.org/raspbian stretch/main
  armhf Packages Description: Linux support headers for userspace
  development This package provides userspaces headers from the Linux
  kernel.  These headers are used by the installed headers for GNU libc
  and other system libraries.

edit: formatting

[kingosticks]

As others have mentioned, Raspbian kernel updates are delayed behind the Debian ones. The linked bug report states it was introduced between 4.9.135-1 and 4.9.144-1 (of linux-image-4.9.0).