Hi,This has already been reported by Fengguang Wu's kbuild test robot:https://lists.01.org/pipermail/kbuild-all/2016-July/022203.htmlbut it seems to have slipped through.Karl