Symbol: serial8250_do_shutdown