Yes, it looks like the boards are wired correctly based on what the K20 manual says:
Module signal name Description I/O
FB_AD[29:16] Address Bus When FlexBus is used in a nonmultiplexed configuration, this is the
address bus.
FB_AD[31:0] When FlexBus is used in a nonmultiplexed configuration, this is the data bus, FB_D.