[kernel] terminal_writeuint32: handle zero