diff --git a/src/arch/riscv/platform_gen.h.in b/src/arch/riscv/platform_gen.h.in
index 151f050e5..6d96efd87 100644
--- a/src/arch/riscv/platform_gen.h.in
+++ b/src/arch/riscv/platform_gen.h.in
@@ -7,7 +7,9 @@
 #pragma once
 
 #include <config.h>
+
 #define TIMER_CLOCK_HZ @CONFIGURE_TIMER_FREQUENCY@
+
 #include <machine/interrupt.h>
 
 /*