Re: [PATCH] powerpc/lib: fix book3s/32 boot failure due to code patching