[PATCH] taint flag is decimal representation of a bitmask