simplify kernel configuration: first round