fix kernel config for danny.