Merge pull request #2140 from shenki/kernel-4.16.12

kernel: Move to Linux 4.16.12-openpower1