Assuming you are writing in C (or some other high level language), it is up to the compiler to create valid assembly code for the division operation, no matter what the CPU is.
Of course, you will have to precheck the dividend to make sure that you don't get divide by zero errors in the kernel.
There are some math operations that are strongly discouraged in the kernel
, such as floating point (because the floating point state is not saved during system calls). There could also be some routines (such as the longlong division) missing, since kernel code wouldn't normally use the standard C library.