Update to Microkit 2.1.0#27

Ivan-Velickovic wants to merge 1 commit intomainau-ts/microkit_tutorial:mainfrom

microkit_2.1.0au-ts/microkit_tutorial:microkit_2.1.0Copy head branch name to clipboard