Another attempt to silence the warble build warning on 32-bit hosts

Change-Id: Ib83ce41582b18641badb389c3871e501c8be697f
1 file changed