According to the commit "arch/ia64/kernel/unaligned.c erroneously marked die_if_kernel() with a "noreturn" attribute ... which is silly (it returns whenever the argument regs say that the fault happened in user mode, as one might expect given the "if_kernel" part of its name!). Thanks to Alan and Gareth for pointing this out." The following kernels/patchsets are unaffected: * >=vanilla-sources-2.6.15.6 * >=gentoo-sources-2.6.15-r7 * >=genpatches-2.6.15-10 Patch here: http://tinyurl.com/qdzkr.
Created attachment 81667 [details, diff] die_if_kernel-can-return.patch Patch. Also applies to 2.6.14.
IA64 only has gentoo-sources keyworded (and I've now stabled -r7) so this can be closed.