I have two questions about HCI RPMsg:
1. If I have nRF5340DK, what's the <board name> I can use to build the firmware? nrf5340dk_nrf5340? nrf5340dk_nrf5340_cpuapp? nrf5340dk_nrf5340_cpunet?
2. I found that "#define HCI_RPMSG_ISO 0x05" was added on main.c, does it mean that this sample code support the HCI commands related to Bluetooth LE Isochronous Channels?