Firstly, many thanks for this distribution.
I downloaded Amibian today to run on my new RPi3 and read in your readme file that you can use a command called "bootpicooff" to switch off the splash screen and enable fast booting in uae4arm.
This doesn't seem to be working for me and when I search the files on the RPi I can't find either bootpicooff, bootpicoff or bootpicon anywhere, I assume they should be in /usr/local/bin?
Could I have a copy of the bootpicooff script please, or could you tell me how to do it manually? I'd really like the pi to boot up as quickly as possible.