>>538
acpiの提供する情報がバグってて、FreeBSDだとバグ対処がされてるケースなのかなあ。
ブートオプションでACPIをオフにしてみるのはどう?今どきのマシンでは無理かな。
それでダメならFreeBSD使ってAMLダンプしてもらってカーネル直すってことになりそう。