fixups 000-libs-cmsis