vchoi_fork

Extract a routine from shadow_image_defer_free(), shadow_range_defer_free(),
that works in byte offsets rather than page offsets.  Use
shadow_range_defer_free() to defer shadow-index frees.