fix bug in os_firmware_info.txt