[kernel] also workaround gcc4.1 bug with binfmt_elf for 2.6.30