AMD x86 PREFETCH instruction related side-channels - Lenovo Support US