[PATCH] drm/vbox: Convert to Linux IRQ interfaces