[PATCH v3 4/5] Add target description for avx-avx512.

[Pedro Alves]

This is OK.

> +<!-- Copyright (C) 2014-2016 Free Software Foundation, Inc.

Please update to include 2017 throughout.

I think these files will need to be updated to pick up
Walfred's segment registers tdesc feature, right?

Thanks,
Pedro Alves