>>307

　>>304の状態はドライバをロードできていない。kextを/S/L/Eに置いたら
起動しなかったというのは、ドライバをロードしてはいるがDSDTから必要
な情報を発見できず固まっている。

　うち（HD4000）は後者で、DSDTを見て"IGPU"がなかったので、内蔵GPUを
"IGPU"として見せるようにパッチを当てたDSDT.amlを用意したら動いた。