On Mon, Jul 29, 2019 at 09:58:25AM -0400, Paul Wouters wrote: > > CONFIG_XFRM_STATISTICS is fixed for Debian. > > CONFIG_XFRM_MIGRATE is still in progress. in Ubuntu? Debian 10, the current stable, has CONFIG_XFRM_MIGRATE enabled for a long time.