* Enable RedfishPkg and RedfishClientPkg in EDK2
* Expose UART device for IPMI Serial to the OS

Signed-off-by: John Chung <john.chung@arm.com>
Change-Id: I07c8cd2d32a16299a47137e2a58733b823ee67d3