altos: Missing ao_pins files for usbtrng