Hi Pierre
Difficult question as it could be either but my guess would be driver. Anyhow I take it that you are running the latest BIOS so why not try flashing to a slightly older one and see if it makes any difference. I know that won't be a foolproof answer but it might help.