The file that is currently on an Mighty 1284p 16MHz using Optiboot with a serial number of AJV9MWN4