I would call bulldust on those codes being the ipad mini.
it will just be GSM and CDMA versions of the ipad 2 with a shrunk CPU. Although, the complete absence of any codes that might be the ipad mini may suggest it is a long time away, or non existent.
If it was the legendary ipad mini, it would be ipad 4.x and 4.y, or maybe called something else altogether, like OSJDB 1.x. as it is an entirely new form factor, not just an internal change.