[PATCH 08/42] x86: Update a comment to mention XPL