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