The API servers should use the global default kernel to avoid downgrading unnecessarily See merge request !775
