/* * Known fpu bits - only these get enabled * I think the XCR0_BNDREGS and XCR0_BNDCSR would need saving on * every context switch. * The save are is sized for all the fields below (max 2680 bytes). */