hal/x86: fix kernel-space FPU with 4.1 kernel
tree870c207006766c78d3f5ab430f6f4c06107a9937
-rw-r--r-- 15 .gitignore
-rw-r--r-- 3752 CREDITS
-rw-r--r-- 1922 Makefile.am
-rw-r--r-- 26925 Makefile.in
-rw-r--r-- 29304 README.INSTALL
-rw-r--r-- 32092 TROUBLESHOOTING
-rw-r--r-- 38314 aclocal.m4
drwxr-xr-x - config
-rwxr-xr-x 483609 configure
-rw-r--r-- 22702 configure.in
drwxr-xr-x - debian
drwxr-xr-x - doc
drwxr-xr-x - examples
drwxr-xr-x - include
drwxr-xr-x - ksrc
drwxr-xr-x - scripts
drwxr-xr-x - src