x86: Der Befehl devconfig

Der Befehl devconfig wird in diesem Release nicht mehr unterstützt.