Sun Sep 14 14:49:12 CEST 2014

BBB kernel and SD card

So it seems that getting this to work reliably does need tracking of
more recent kernels.  Probably also figuring out how not to brick the
device!  So let's do the latter first.

Can always have ROM boot from SDCARD first (MMC0) by pressing S2 switch.