It's programmed over high speed USB. I prefer to use the image built according to manufacturer's recommendations. We are not Linux experts here, so changing the build too much has some risk. I think your suggestion about downloading a small u-boot pa...