MIPS: KVM: Use prandom_u32_max() to generate tlbwr index