dualboot kernel config