Merge branch '2023-11-06-assorted-changes'

- One new MIPS platform and a mailmap update