This kernel hopefully fixes the "too many whoops kills the system" problem introduced
with Update #6.

There was a problem with some code added just before the update was made that could
cause (especially PCI machines) system resources to become exhausted after using the
sound driver.