I have a similar problem when trying to boot devmenu (both BBB and the "regular" one), however my message is "An error has occurred, forcing the software to close. The system will now restart". I noticed it only happens on my 128 gb SD card, not on my others. I was wondering if this is specific...