ARM: vexpress/TC2: add Serial Power Controller (SPC) support