Да, это они. Закриптованные. А чтоб узнать, какой из

Да, это они. Закриптованные.
А чтоб узнать, какой из них Вам нужен, надо знать Bios ID - пятизначный номер, который в большинстве случев можно узнать из файла бэкапа.
Вы не упоминали, зачем Вам прошивка и как собираетесь шить.
Если из под оси, то ничего распаковывать и не надо, достаточно запустить скачанный с оф. сайта файл.