6.4.2 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.