base-hw: unnecessary unmanaged-singleton includes

Remove some deprecated include directives for the unmanaged-singleton header.

Ref #4217

repos/base-hw/src/core/kernel_log.cc

@@ -12,9 +12,7 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-/* base-internal includes */
-#include <base/internal/unmanaged_singleton.h>
-
+/* base-hw Core includes */
 #include <board.h>
 #include <platform.h>
 #include <kernel/log.h>

repos/base-hw/src/core/pager.h

@@ -21,9 +21,6 @@
 #include <base/signal.h>
 #include <pager/capability.h>
 
-/* base-internal includes */
-#include <base/internal/unmanaged_singleton.h>
-
 /* core-local includes */
 #include <kernel/signal_receiver.h>
 #include <hw/mapping.h>

repos/base-hw/src/core/spec/arm/virtualization/vm_session_component.cc

@@ -14,6 +14,9 @@
 /* Genode includes */
 #include <util/construct_at.h>
 
+/* base internal includes */
+#include <base/internal/unmanaged_singleton.h>
+
 /* core includes */
 #include <kernel/core_interface.h>
 #include <vm_session_component.h>

repos/base-hw/src/core/spec/riscv/platform_support.cc

@@ -16,8 +16,6 @@
 #include <board.h>
 #include <cpu.h>
 
-#include <base/internal/unmanaged_singleton.h>
-
 using namespace Genode;
 
 

repos/base-hw/src/core/spec/x86_64/cpu.h

@@ -26,7 +26,6 @@
 
 /* base includes */
 #include <base/internal/align_at.h>
-#include <base/internal/unmanaged_singleton.h>
 
 /* core includes */
 #include <fpu.h>