The documentations says that the HAL IPC uses 2 octets for socket
channels, while |struct hal_cmd_socket_{listen,connect}| contain 4
octets. This patch fixes the documentation accordingly.