Dear Debian devs, I am trying to port Plasma Mobile to a Droid4 smartphone, for which unfortunately only an ancient 3.0.8 kernel exists. Right now, starting the container with the plasma rootfs complains with > FATAL: kernel too old I figured glibc has a --enable-kernel option. How would I tell live-build to build the whole thing with support for a specific kernel? #Best Regards/MPartap