A quick question, when I updated my BIOS to Ket's BIOS, should I see a different BIOS number or name/ date?