Add support for FPU flag for PDs#404

Ivan-Velickovic merged 2 commits intoseL4:mainseL4/microkit:mainfrom

au-ts:jakub/fpu_flagau-ts/microkit:jakub/fpu_flagCopy head branch name to clipboard