Fix missing mutex initialization of tlb0_info