Where is the pxQueue variable declared? Within the lwIP code? Is that code? If so I would guess there is a startup code or linker issues - but it sounds like you are getting all your code and tools from Xilinx so I would suggest asking on their forum.