Build scripts and patches used to cross-compile 5.1-rcX kernels for RK3288 boards, while including the Mali r19p0 drivers.