NMI error with kernel 2.6.33.5-112.fc13.i686.PAE