Fix Cuboxi kernel config