<?xml version="1.0"?>
-<!-- Copyright (C) 2013-2014 Free Software Foundation, Inc.
+<!-- Copyright (C) 2013-2016 Free Software Foundation, Inc.
Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
<xi:include href="32bit-core.xml"/>
<xi:include href="32bit-sse.xml"/>
<xi:include href="32bit-linux.xml"/>
- <xi:include href="32bit-avx.xml"/>
<xi:include href="32bit-mpx.xml"/>
</target>