linux-image-4.2.0-34-generic_4.2.0-34.39_ppc64el.deb doesn't boot, it seems to be missing some SCSI drivers.
linux-image-4.4.0-13-generic ppc64el 4.4.0-13.29 did work for me:
17996 packets captured 18004 packets received by filter 6 packets dropped by kernel
linux-image- 4.2.0-34- generic_ 4.2.0-34. 39_ppc64el. deb doesn't boot, it seems to be missing some SCSI drivers.
linux-image- 4.4.0-13- generic ppc64el 4.4.0-13.29 did work for me:
17996 packets captured
18004 packets received by filter
6 packets dropped by kernel