As we do not have any domains occupying the high bits, there is no point
in always printing the leading 00.
Signed-off-by: NChris Wilson <chris@chris-wilson.co.uk>
Signed-off-by: NDaniel Vetter <daniel.vetter@ffwll.ch>