fn verify_written_file<B: BlockIo>( adapter: &mut B, partition_start: u64, expected_data: &[u8], ) -> Result<(), InstallError>