Re: [PATCH] taint flag is decimal representation of a bitmask