Now that the kernel work to support 32-bit systems past 2038 is mostly   done, what will be required to get Debian into shape?