Realtime kernels are now in the official repositories