They would not have bump'd the minimum kernel version in the very old archived release that we have been using.
So my guess is that the sources where pulled from a newer repository than the old archived one.
- - - - -
I could get smart-ass and ask if you are trying to run Debian/ARM or Debian/S390 - but it is still a little early for that one