mi5の64GBの買うかなーってなってるんだけど、2.15GHzって発熱酷い?酷いなら32GBと同じクロック数の上限にしたいんだけどそんなことができるカーネルってある?