firmware/src/platform/portduino/architecture.h