x86, ticketlock: remove obsolete comment