Merge "Make ARM TVs running 32-bit userspace boot on V with new kernels." into main