[PATCH 0/3] x86: Fix some bugs related to ITS mitigation