4 files changed, 0 insertions, 4 deletions
diff --git a/src/include/pc80/i8254.h b/src/include/pc80/i8254.h
index 168b7785cc..a9c0baee4f 100644
--- a/src/include/pc80/i8254.h
+++ b/src/include/pc80/i8254.h
@@ -1,5 +1,4 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
-/* This file is part of the coreboot project. */
 
 #ifndef PC80_I8254_H
 #define PC80_I8254_H
diff --git a/src/include/pc80/i8259.h b/src/include/pc80/i8259.h
index dde86cc11c..c3d0a93b5e 100644
--- a/src/include/pc80/i8259.h
+++ b/src/include/pc80/i8259.h
@@ -1,5 +1,4 @@
 /* SPDX-License-Identifier: GPL-2.0-only */
-/* This file is part of the coreboot project. */
 
 #ifndef PC80_I8259_H
 #define PC80_I8259_H
diff --git a/src/include/pc80/vga.h b/src/include/pc80/vga.h
index e6aed868db..4b7b26c36c 100644
--- a/src/include/pc80/vga.h
+++ b/src/include/pc80/vga.h
@@ -1,4 +1,3 @@
-/* This file is part of the coreboot project. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 #ifndef VGA_H
diff --git a/src/include/pc80/vga_io.h b/src/include/pc80/vga_io.h
index 79cc58118f..ac31ade1a1 100644
--- a/src/include/pc80/vga_io.h
+++ b/src/include/pc80/vga_io.h
@@ -1,4 +1,3 @@
-/* This file is part of the coreboot project. */
 /* SPDX-License-Identifier: GPL-2.0-or-later */
 
 #ifndef VGA_IO_H