Ack. FYI this problem is for SLES JeOS. Although some modules are being migrated to kernel-default (e.g. quota: #1196585), binfmt_misc is probably not important enough to be migrated. I'll also verify if it's not bug / fixable problem in df (coreutils). I'll have look.