Your best bet is to modify the kernel to signal “system halted” by toggling the state of a GPIO line. Here’s how:
When you shut down the BitsyXb, you should eventually see "System halted." on the console. If you look for "System halted" in kernel/sys.c you'll see it gets printed before machine_halt() is called.
The machine_halt function is in arch/arm/kernel/process.c and currently does nothing. You can add code to change the state of a CPU GPIO that's connected to one of the pins on the personality board, e.g./* Signal shutdown on GPIO107. */
GPSR(107) = GPIO_bit(107);
to change the state of 'UCBIO9' (J3, pin 1).
Be sure to add code to set up the GPIO as an output for signaling a shutdown in function adsbitsyxb_init in arch/arm/mach-pxa/adsbitsyxb.c, e.g.pxa_gpio_mode(107 | GPIO_OUT);
to make 'UCBIO9' (J3, pin 1) an output.
Hope this helps.