On 12 May 2017 at 22:11, Sylvestre Ledru <Sylvestre at debian.org> wrote: > This should be probably reported as a separate bug! You could clone this bug, or retitle as 'arm64 48-bit VMA issues with recent kernels' :)