[PATCH] Fix incorrent type of flags in <asm/semaphore.h>