The 8051 used throughout is nice, they probably have a lot of code for it which at least is stable and well documented. The one by the keyboard is most likely doing all the power management as well, along with battery charging and likely some of the control of the power to the channels so you can switch off unused parts. Probably uses the serial ports to communicate with the main CPU and give status messages and key data. Using on the isolated side is likely to use the same compiler and codebase, just to keep cost down and have less work for the developers. Known code, known responses and less to go wrong with it. Plus is it will be cheap, and have a lot of built in peripherals without issue.