FPU now working, this has been verified by turning off the FPU in start-up and observing a NOCP fault when trying to call sin(), pretty sick