はとりあえずSilicon ImageのSATA PCIボードを挿して，Windows XP x64でドライバをインストールしてから，いったん電源を落としてSATA HDDをオンボード(SB400)からSilicon ImageのSATA PCIボードにつなぎ換えて再起動．めでたくWindows XP x64で問題なく起動…