This should make PANDABOARD suitable for building bootable SD images. Submitted by: Giovanni Trematerra