https://bugzilla.kernel.org/show_bug.cgi?id=187581
--- Comment #4 from Mingcong Bai <jeffbai at aosc.xyz> --- Kernel binary can be obtained here: https://repo.aosc.io/os-ppc64/os3-dpkg/l/linux-kernel-4.8.6_4.8.6-0_ppc64.deb -- You are receiving this mail because: You are watching the assignee of the bug.
