Define additional x86-64 micro-architecture levels (take 2)

This version takes into account the review comments from the previous merge request, !8 (closed).