3.12.6-200.fc19.x86_64: stacktrace on HP Elite 8300