Hi, this small set improves the usability to ease booting distro shipped kernels. Tested on espressobin with debian's flash-kernel. I could successfully boot from usb. Thanks, Andre ps: please keep me cc:'ed, not subscribed