http://www.gdm.or.jp/pressrelease/2014/0128/58714
HD4000というのが誤植じゃなければカーネルパッチでosx86動いたりしてな。

>>289
むしろGenericUSBXHCIでダメなチップってあったっけ?