x86/microcode: Fix double vfree() and remove redundant pointer checks before vfree()