Besides a couple of instructions, FPU support is not implemented. This depends a bit on https://github.com/TUD-OS/NOVA/issues/3