Wrong pin out for "push buttons" in User I/O section of "MicroZed IO Carrier Card User's Guide" from 27.Dec.13
It says PB0 - J20, PB1 - H20, PB2 - G19 and PB3 - G20, but in fact it PB0 - G19, PB1 - G20, PB2 - J20 and PB3 - H20 just like in MicroZed_IOCC ref. design constraints file.