Yes. Try linux
.
With very recent CPUs, it is expected to have such error messages. The typical response is to contribute upstream Linux kernel issues. They want/need this feedback.
The important thing (IMHO) is any noticeable/obvious symptoms apart from journal/dmesg messages.
Trying PRO driver is your decision, as it is not common, so getting help is a bit of coincidence.
Please post your system info for reference and a chance for users with same HW to share experience.
inxi -Fxxxza
It seems the logs are from
-b -p3
, but it is better to know for sure