[kernel][lib] Make ulib/pretty work in the kernel

Since we disable float math in the kernel the division
operations were reworked to use division and mod instead.

Change-Id: Ifdd78e84608514580a12f93e88bb076c28f94cfd