커널모드에서 소수점 연산을 지원하지 않는 이유가 무엇일까요?

요즘 업무로 ARM리눅스 디바이스 드라이버를 작성하고 있습니다.
그래픽 관련 업무여서 소수점 연산을 사용할 일이 많은데 커널모드에서 부동소수점 연산이 불가능 하다는 것을 알게 되었습니다.
참 난감하네요.. 커널모드에서 특별히 이를 지원하지 않는 이유가 있을까요?