Support `gpio` directives in `hardware.raspberry-pi.config`

[TymanWasTaken]

Some options in the Raspberry Pi config.txt file, such as GPIO control, have meaning when inserted multiple times. Unless I am missing something, the current module configuration does not support inserting options multiple times as you can only have one { enable = ...; value = ... } attrset with a given name, and the value property only supports int/str/bool types.

This means adding something like

gpio=17=op,dh
gpio=18=op,dl

to drive one pin high and one pin low is not possible without using hardware.raspberry-pi.extra-config.

---

Add a 👍 reaction to issues you find important.

[nvmd]

Hi @TymanWasTaken, thank you for bringing this up. I believe I didn't actually know gpio directives exist as something that requires special treatment.
No one of the other options I remember can be specified multiple times in config.txt, so this seems like a feature to support gpio directive specifically.
Let me know if I'm missing some other options which could be specified multiple times.

[TymanWasTaken]

I don't know of any other that can be specified multiple times, so I suppose a gpio-specific setup works