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