Upgrading and Downgrading Software on FIPS-enabled Devices