[flashrom] Supermicro server BIOS update question