多分だけど
KはdocomoのAndroidとかじゃない？
キャリア変える前はPixelでpixelと表示されたけどKだし