change the vagrant kernel config