Same as with group_free(), there is no need to instantiate the address environment to destroy it. The only problem was the ARM implementation modified the L1 mappings in up_addrenv_destroy(), which it no longer does.