[Bug c/24644] [4.1 Regression] gcc-4.1 compiled ppc64 kernels do not boot

[olh at suse dot de]

------- Comment #23 from olh at suse dot de  2005-11-05 20:31 -------
this patch works, tested with r106530


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=24644