+# Install the kernel; we don't do this as part of debootstrap, because it could
+# come from security.d.o and upgrading doesn't work too well on FAT (due to
+# missing hardlinks). (Admittedly, this is a hack.)
+DEBIAN_FRONTEND=noninteractive DEBCONF_NONINTERACTIVE_SEEN=true LC_ALL=C LANGUAGE=C LANG=C chroot /mnt/xu4 apt -y install linux-image-armmp-lpae
+