RSBAC pre-patched kernels

This location has moved here.