Re: [PATCH 4.4 180/266] x86: stop exporting msr-index.h to userland