Compilar el parche de tiempo real para Ubuntu

https://github.com/2b-t/linux-realtime