Oops, forgot some files from Intel IA ...