Fix date output in x86 microcode driver.