Merge pull request #1313 from shenki/kernel-4.12.5

kernel: move to Linux 4.12.5-openpower1