linting again

Signed-off-by: Jake Massimo <jakemas@amazon.com>

Author: jakemas

dev/x86_64/src/nttunpack.S

@@ -3,10 +3,6 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-/*
- * This file is derived from the public domain
- * AVX2 Dilithium implementation @[REF_AVX2].
- */
 
 /* References
  * ==========
@@ -17,6 +13,11 @@
  *   https://github.com/pq-crystals/dilithium/tree/master/avx2
  */
 
+/*
+ * This file is derived from the public domain
+ * AVX2 Dilithium implementation @[REF_AVX2].
+ */
+
 #include "../../../common.h"
 #if defined(MLD_ARITH_BACKEND_X86_64_DEFAULT) && \
     !defined(MLD_CONFIG_MULTILEVEL_NO_SHARED)

mldsa/src/native/x86_64/src/nttunpack.S

@@ -3,10 +3,6 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-/*
- * This file is derived from the public domain
- * AVX2 Dilithium implementation @[REF_AVX2].
- */
 
 /* References
  * ==========
@@ -17,6 +13,11 @@
  *   https://github.com/pq-crystals/dilithium/tree/master/avx2
  */
 
+/*
+ * This file is derived from the public domain
+ * AVX2 Dilithium implementation @[REF_AVX2].
+ */
+
 #include "../../../common.h"
 #if defined(MLD_ARITH_BACKEND_X86_64_DEFAULT) && \
     !defined(MLD_CONFIG_MULTILEVEL_NO_SHARED)

proofs/hol_light/x86_64/mldsa/mldsa_nttunpack.S

@@ -3,10 +3,6 @@
  * Copyright (c) The mldsa-native project authors
  * SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
  */
-/*
- * This file is derived from the public domain
- * AVX2 Dilithium implementation @[REF_AVX2].
- */
 
 /* References
  * ==========
@@ -17,6 +13,12 @@
  *   https://github.com/pq-crystals/dilithium/tree/master/avx2
  */
 
+/*
+ * This file is derived from the public domain
+ * AVX2 Dilithium implementation @[REF_AVX2].
+ */
+
+
 /*
  * WARNING: This file is auto-derived from the mldsa-native source file
  *   dev/x86_64/src/nttunpack.S using scripts/simpasm. Do not modify it directly.