We basically first cut of our have hardware and PCB in front of us. The hardware guy has assigned GPIO128 to LED for heatbeat indicator. I do not know how to get the C28 to reassign the pin to the M3 side. Is it possible? Manual is not very clear. It just says that by default GPIO128 is controlled by C28.