kernel - Fix floating point save state structure and minor npx issues