Define GitHub labels for specific hardware

[sanmai-NL]

As appropriate, e.g., based on ISA, generation, component type.

This could help organize the growing list of issues. You can delegate such tasks to a larger pool of people or automate it, so it won't cause more load on the developers (indeed, save them time by navigating issues more quickly).