Intel Mac mini Part34

Server版も従来通り32bitカーネルしか使えなかったよ。
boot.efiの書き換えで64bitカーネルがロードできるかどうかは
試してないけど、たぶん今まで通りじゃないかね