isl_band_dup: accept NULL pointer on zero-size allocation