kernel: fpu init to separate function; also move fpu init down
treeb7dfaac1a372ff7c468ca6142b0ec9a6385155cd
-rw-r--r-- 2669 LICENSE
-rw-r--r-- 2691 Makefile
drwxr-xr-x - benchmarks
drwxr-xr-x - boot
drwxr-xr-x - commands
drwxr-xr-x - docs
drwxr-xr-x - drivers
drwxr-xr-x - etc
drwxr-xr-x - include
drwxr-xr-x - kernel
drwxr-xr-x - lib
drwxr-xr-x - man
drwxr-xr-x - servers
drwxr-xr-x - test
drwxr-xr-x - tools