Is there a way to turn off the RGB LEDs on the board? They are very bright and do not signal anything useful afaik. Would be nice to use them in some way or turn them off altogether.
Edit: I use Arch, so I’m searching for some terminal command or config in some file, maybe. Or is it a bootrom thing?