Real-Time Handling of GPU Interrupts in LITMUS RT