English Virtual Programmable Interrupt Controller Device: traducción a otros idiomas