Update jfvelte kernel config