mach-ux500: add codina specific configs