Formatting

It would be nice if I would stay consistent with namespace formatting

Maybe I should use a real linter or something...

kernel/drivers/opensbi/extensions/legacy.cpp

@@ -2,6 +2,7 @@
 
 namespace drivers {
 namespace opensbi::legacy {
+
     namespace {
         enum class ExtensionId {
             SET_TIMER,

kernel/drivers/opensbi/include/opensbi/extensions/legacy.h

@@ -4,6 +4,7 @@
 
 namespace drivers {
 namespace opensbi::legacy {
+
     [[deprecated("Use the time extension instead")]]
     SbiRet set_timer(uint64_t stime_value);
 

kernel/drivers/opensbi/include/opensbi/opensbi.h

@@ -4,6 +4,7 @@
 
 namespace drivers {
 namespace opensbi {
+
     typedef unsigned long sbiword_t;
     typedef const unsigned long * hart_mask_t;