Got a link about the Debian issue? Is it just that they build for the CPU baseline to maximise hardware support?