Fixing a typo in carbon kernel patch number