atarixl target: add support for interruptors, adapt TGI drivers