Google has shipped a real fix for the Pixel boot loop bug that has left phones stuck on the startup logo since March. The July…