x86: Use kprint instead of vga_* functions