An upgrade of the drivers for the system could help yes.
It is the first and only crash for the moment so maybe it was just a glitch of the system.
On the moment of the crash 30 somewhat users were working on the server (cpu around 30%, ram around 500meg and 20,000 - 40,000 interrupts/sec) which is normal for that server.
I'll just wait a few days and if no more crasher occur, the better. (Because the system will be reïnstalled in a few months with new software and drivers, no action will be taken for the moment)