Since the kernel branches could theoretically drift apart, we need to track the PV of the kernel on the RT branch for the ARM32 platforms as well. Signed-off-by: Ryan Eatmon <reatmon@ti.com>