> Intel I5 cpu,
Side note: this doesn't say much more than "an amd64 CPU produced by
Intel in the last 13 years and whose release price was somewhere between
$200 and $300" :-)
See https://en.wikipedia.org/wiki/List_of_Intel_Core_i5_processors for
more details.
Stefan