[U-Boot] BDI2000 Configure file question for GDB on MPC8458