Is it worth updating the BIOS on my T420? It's 1.31 version