Move kernel to deviceconfig