Kernel: initialize fpu only if it exists