[arch-proaudio] realtime kernels in unofficial user repository