per the CRC - Kellogs cereal that bear a K are now OU-certified, except for Kellog's Mini-Wheats Unfrosted Cereal, which is not OU-certified, even when the package bears a K.
@moko - you're off the case? who's giving the hashgacha to the unfroste mini wheats?