[PATCH] fix x86_64-mm-spinlock-cleanup