CEX - Commercial version
DEX - Developer version
You probably have a CEX PS3 since developer PS3s are rare and usually owned by the companies themselves.
(Not to mention DEX PS3s cost thousands of dollars due to their rarity.)
Red Ribbon Linux is just that. Linux on PS3. You don't really need it.