Problems with a BeagleBone Enhanced - GPIO Bank 2

I am working with the above mentioned board. Large parts of the application were developed on a Beaglebone Black and are now being ported. I have noticed that GPIO64 to GPIO95 are not accessible. If I toggle an external signal on any of the pins, the value files always show 0. If I configure the pins as outputs, the outputs stay 0 despite what I write to value.

I have verified that the module is enabled and that the clocks are also initialzed properly. I have compared the register values with corresponding registers for GPIO Bank 1 (32…63) which appear to be working.

The only difference I can see is that the BBE has three extra devices under /proc/device-tree. These are soud, clk_mcasp0, clk_mcasp0_fixed. Could this be affecting the GPIO Bank 2? Is there anything trivial I might be missing about the initialization?