Comment 4 for bug 1818552

The output from Seth's grep (in the bug description) is a little misleading because the archival of kernel configs on kernel.ubuntu.com is buggy. It is including kernel configs of the generic, lowlatency, etc., kernels in the directories of the derivative kernels. For example, these config files should not exist because the linux-kvm source package does not produce an i386 generic or lowlatency binary package:

 cosmic/linux-kvm/4.15.0-1008.8/i386-config.flavour.generic
 cosmic/linux-kvm/4.15.0-1008.8/i386-config.flavour.lowlatency

If we inspect the directory contents while logged into kernel.ubuntu.com, we see this:

 $ ls -1 ~kernel-ppa/public_html/config/cosmic/linux-kvm/4.15.0-1008.8/
 amd64-config.flavour.generic
 amd64-config.flavour.kvm
 amd64-config.flavour.lowlatency
 arm64-config.flavour.generic
 arm64-config.flavour.snapdragon
 armhf-config.flavour.generic
 armhf-config.flavour.generic-lpae
 i386-config.flavour.generic
 i386-config.flavour.lowlatency
 ppc64el-config.flavour.generic
 s390x-config.flavour.generic

Of those files, only amd64-config.flavour.kvm is valid for linux-kvm and it does not contain CONFIG_BINFMT_AOUT=m because it is a 64 bit kernel.