Reported by "make includecheck"

Tested that the corresponding sources still compile well on x86
Signed-off-by: NMichael Opdenacker <michael.opdenacker@free-electrons.com>
Signed-off-by: NEmmanuel Grumbach <emmanuel.grumbach@intel.com>