Add missing kernel config