3.5.0 のカーネルでうまく boot できないことが多い現象に遭遇し、3.2.0-31 で使っていたのだが、
acpi=noirq
というカーネルへのパラメーターを
acpi_backlight=vendor dell_laptop.backlight=0
に変更したら解決した。
参考
セコメントをする