This is what ASRock support answered to me about the boot problem:
----
Dear Sir,
We tested this issues, it seems the dirver is not compatible with the Core 2 Duo CPU.
We suggest you to use the Microsoft driver.
Thanks for the email.
Yours truly,
ASRock
---
So, they blaim Ati.