modify samsung serial driver to make it compatible with kgdb