hw/misc/mps2-fpgaio: Make number of LEDs configurable by board