6.5.0 sees inkernel_wait support added for PowerPC SMP. Inkernel_wait was first introduced in 6.4.1.
As the design was unchanged between the architectures, no additional design reviews were held. This feature has no implications for the Safety Manual.