Are there BIOS versions other than 0xb796, 0x7931, 0x7adb?