So it seems that the Ryzen PRO in my HP EliteBook is not affected.