gpio_put_masked64() function

Drive GPIOs high/low depending on parameters For each 1 bit in \p mask, drive that pin to the value given by corresponding bit in \p value, leaving other pins unchanged. Since this uses the TOGL alias, it is concurrency-safe with e.g. an IRQ bashing different pins from the same core.