Previously, some aliases were marked as not being available for microMIPS32R6, but this was overridden at the top level.
LGTM