x86, microcode, AMD: Extend ucode size verification