まずpicoのDCジャックをこんなやつに取り替え。
次にこんなジャック
をジャックの取り付け穴径よりこんな細いプラグとくっつける。
ケースの穴を少し拡張してジャック&プラグを取り付け。PC内部でDCジャックと接続。
接続したらいきなりファンが回りはじめて驚いたが、これは電源が生きている証拠でもある。次にPCのパワーボタンを押すとハードディスクが回りはじめ、起動ビープがなって無事起動。
電源を入れ替えたことによってファンの動作が変わるというのがようわからんが、サーバとしてずっと動かしているので特に困った問題はない。