Patch from Thomas Gleixner

Trivial build fix for badge4 platform

Signed-off-by: Thomas Gleixner
Signed-off-by: Russell King