linux3.10: enable CONFIG_BINFMT_SCRIPT by default; disable a.out on x86.