x86: `FORCE_INLINE` lazyFPURestore
x86: `FORCE_INLINE` lazyFPURestore

In the common case this function expands to a single check, with a blank
body. Whilst forcively inling will cause code bloat, will be code bloat
in the uncommon code path, which we do not care about

cmr/seL4,cmr/seL4,cmr/seL4