Fix Sonata v0.2 Ethernet headers.

sdk/include/platform/sunburst/v0.2/platform-ethernet.hh

diff --git a/sdk/include/platform/sunburst/v0.2/platform-ethernet.hh b/sdk/include/platform/sunburst/v0.2/platform-ethernet.hh
index 0e9b3a7..c33ddba 100644
--- a/sdk/include/platform/sunburst/v0.2/platform-ethernet.hh
+++ b/sdk/include/platform/sunburst/v0.2/platform-ethernet.hh
@@ -1,7 +1,6 @@
 #pragma once
 #include <array>
 #include <cheri.hh>
-#include <cstddef>
 #include <cstdint>
 #include <debug.hh>
 #include <futex.h>
@@ -10,9 +9,8 @@
 #include <optional>
 #include <platform/concepts/ethernet.hh>
 #include <platform/sunburst/platform-gpio.hh>
-#include <platform/sunburst/platform-spi.hh>
+#include <platform/sunburst/v0.2/platform-spi.hh>
 #include <thread.h>
-#include <type_traits>
 
 DECLARE_AND_DEFINE_INTERRUPT_CAPABILITY(EthernetInterruptCapability,
                                         InterruptName::EthernetInterrupt,