Fix over-zealous flush_disk when changing device size.