- drop non-dist kernel support, it was broken for a long time and noone noticed/cared