No Korean font / all Korean text is deleted

Dec 18, 2012
Using official Build MIUI-JLB5.0 JRO03L (android 4.1.1), any Korean/Hangul character is completely omitted from all text fields. This applies to everything as far as I can tell: the stock Music player, an app I just built in Eclipse, Opera Mobile browser, and the stock Browser.

Does the English-only ROM offered here support a Korean font? If so, I'll make the switch. (Otherwise I'd prefer to avoid flashing)