Add support for FPU flag for PDs#404

JDuchniewicz wants to merge 3 commits intoseL4:mainseL4/microkit:mainfrom

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