アイビー以来なのでよくわからんが、8400が3.8Gで回るって、UEFIとかでベースクロックいじれるってことか?