@Sander: this bug relates to Intel chips only, so it does not apply to the issue you are experiencing on your desktop PC.
Therefore, filing a new bug is the right thing to do (unless it is been already reported, indeed).
@Sander: this bug relates to Intel chips only, so it does not apply to the issue you are experiencing on your desktop PC.
Therefore, filing a new bug is the right thing to do (unless it is been already reported, indeed).