Re: [luto@kernel.org: [oss-security] Lots of bugs in 32-bit x86 Linux entry code]