# CONFIG_BINFMT_FLAT is not set