manual: document must have CPU features for x86#569

midnightveil merged 1 commit into

seL4:mainseL4/microkit:mainfrom

au-ts:x86_featuresau-ts/microkit:x86_featuresCopy head branch name to clipboard