Just to confirm, are these the only two patches needed for this bug: 6bed3237624e3faad1592543952907cd01a42c83 powerpc: use NMI IPI for smp_send_stop ac61c1156623455c46701654abd8c99720bceea1 powerpc: Fix smp_send_stop NMI IPI handling
Just to confirm, are these the only two patches needed for this bug: ad1592543952907 cd01a42c83 powerpc: use NMI IPI for smp_send_stop c46701654abd8c9 9720bceea1 powerpc: Fix smp_send_stop NMI IPI handling
6bed3237624e3fa
ac61c1156623455