It is a little strange though, that the most populous form of Buddhism in the world is barely in the game but if we apply the same logic as to why Korea is Confucian rather than Mahayana Buddhist, they fit very similarly.
With the Harmonisation mechanic, I think there's a case for adding a large number of Mahayana provinces to China. Perhaps Daoism could be represented too.