I rebuilt d-i against the kernel in proposed and booted it a couple of times. I have not reproduced this issue, so marking it verified.
~ # uname -a Linux cvm3 4.4.0-25-generic #44-Ubuntu SMP Fri Jun 10 18:15:04 UTC 2016 aarch64 GNU/Linux ~ # dmesg | grep -i soft [ 0.000000] Kernel command line: BOOT_IMAGE=/boot/vmlinuz-di root=UUID=bc611283-1f38-4993-a2b9-883922c7ed1f ro earlycon=pl011,0x87e024000000 hardlockup_all_cpu_backtrace=1 softlockup_all_cpu_backtrace=1 earlycon=pl011,0x87e024000000 apt-setup/proposed=true [ 0.000000] software IO TLB [mem 0xfbfed000-0xfffed000] (64MB) mapped at [ffff8000fb1ed000-ffff8000ff1ecfff] [ 0.229859] CPU features: detected feature: Software prefetching using PRFM [ 174.913338] xor: measuring software checksum speed
I rebuilt d-i against the kernel in proposed and booted it a couple of times. I have not reproduced this issue, so marking it verified.
~ # uname -a /boot/vmlinuz- di root=UUID= bc611283- 1f38-4993- a2b9-883922c7ed 1f ro earlycon= pl011,0x87e0240 00000 hardlockup_ all_cpu_ backtrace= 1 softlockup_ all_cpu_ backtrace= 1 earlycon= pl011,0x87e0240 00000 apt-setup/ proposed= true 0xfffed000] (64MB) mapped at [ffff8000fb1ed0 00-ffff8000ff1e cfff]
Linux cvm3 4.4.0-25-generic #44-Ubuntu SMP Fri Jun 10 18:15:04 UTC 2016 aarch64 GNU/Linux
~ # dmesg | grep -i soft
[ 0.000000] Kernel command line: BOOT_IMAGE=
[ 0.000000] software IO TLB [mem 0xfbfed000-
[ 0.229859] CPU features: detected feature: Software prefetching using PRFM
[ 174.913338] xor: measuring software checksum speed