using acpi=noirq is a workaround for me to get the newer kernels booting up - everything seems to work fine with this setting.
using acpi=noirq is a workaround for me to get the newer kernels booting up - everything seems to work fine with this setting.