Add them as MICROPY_HW_LED_STATUS so that we can share reset code for them. They aren't actually used for the status if another RGB option is available. (But maybe they should be.) Fixes #6717