Miscellaneous items to support the MIPS Creator CI20 platform