Xiaomi端末でのMIUI書き換えについての備忘録