I'm trying to get the USBPD middleware running with 2 ports: 1 source and 1 sink. I already followed the tutorial to get 1 port working as a sink. When I add the second port as a source, the chip immediately hits a hardfault after starting. I traced ...