Kernelkonfiguration ohne /usr/src/linux ermitteln?