maguro: update kernel repo