Comment 12 for bug 1777194

------- Comment From <email address hidden> 2018-07-19 09:54 EDT-------
(In reply to comment #40)
> I just confirmed the two requested patches are in the Ubuntu-4.15.0-29
> kernel:
> eeada334156f powerpc: use NMI IPI for smp_send_stop
> 4190e27bf0ee powerpc: Fix smp_send_stop NMI IPI handling
> Can you confirm the kernel posted in comment #5 fixes this bug on the same
> machine?

As this is observed on Tuleta, i am not able to boot this kernel even after I used "apt-setup/proposed=true" while booting. Can you build a deb with the same?