もうFreeBSDでもxseverにはHALは使われてないでしょ。
HALってXorgの他に使われているんだっけ?