kernel: Deactivate CONFIG_BINFMT_MISC