mach-ux500: update the DB8500 register file