mach-ux500: codina: fix compilation error

missing headers