Hi Debian Kernel team, Any concern regarding to this patch? This is going to fix the following build failure: https://buildd.debian.org/status/fetch.php?pkg=linux-tools&arch=ppc64el&ver=3.14-1&stamp=1408986520