More supported bios firmware images in r_bin_bios