linux-hardened/arch/powerpc/platforms/85xx/smp.h