enable binfmt_misc in kernel options

- enable binfmt_misc as compiled into the kernel
- closes #501