[kernel] print some multiboot info, and fix terminal_writeuint32