x86, microcode: Simplify vfree() use