Your readme only covers how to build the vanilla kernel as best as I can tell. How do you actually use your stuff to build the realtime kernel?