All available versions of nerves_system_osd32mp1