b75504fdc2
work in fast interrupt handlers because it calls db_printf() which uses %es for string stuff and %es isn't initialized.