STM32: GPIO: use uint16_t for the mask of pins that we want read/write