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