Index: kernel/arch/riscv64/src/cpu/cpu.c
===================================================================
--- kernel/arch/riscv64/src/cpu/cpu.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/riscv64/src/cpu/cpu.c	(revision cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
@@ -39,5 +39,4 @@
 #include <fpu_context.h>
 
-
 void fpu_disable(void)
 {
Index: kernel/arch/riscv64/src/smc.c
===================================================================
--- kernel/arch/riscv64/src/smc.c	(revision 7328ff41dcbe15332d62c013417ec72bbb613ee6)
+++ kernel/arch/riscv64/src/smc.c	(revision cc74cb5c5f69f9cd7b915a29908ded2daedb158d)
@@ -34,3 +34,2 @@
 	compiler_barrier();
 }
-