Modified Hdr.HALDevice file with additional HALDevices
Detail: Additional HALDevice types are needed for the RK3399 port.
Admin: This MR is the simplest way to request these additional HALDevice types. If the request really needs to be made a different way please the necessary path and detail for this to happen.