The RAM Corsair "CMV4GX3M1A1333C9" is not included in the memory support list of AsRock Z77 Extreme4. Are they compatible.
That refers to 4 gb 1333 mhz ram kit which your mobo do support. Your board supports Supports max of 32 gb ram over DDR3 2800+(OC)/2400(OC)/2133(OC)/1866(OC)/1600/1333/1066 mhz. So you should be fine with that crosair ram.