mx31pdk: Clean up mx31pdk.h file