This is in preparation for adding in support for the OnePlus 5T (dumpling) on top of the regular OnePlus 5 (cheeseburger). Both devices use the same kernel so the name change just makes sense.