linux: add realtime patch to rpi kernel