[PATCH] uclinux: use PER_LINUX_32BIT in binfmt_flat