dragon-nx-32: fix build error

ide_select changed slightly midstream and I forgot to backport this

diff --git a/Kernel/platform-dragon-nx32/devices.c b/Kernel/platform-dragon-nx32/devices.c
index 3907e35..cf0aa19 100644 (file)
--- a/Kernel/platform-dragon-nx32/devices.c
+++ b/Kernel/platform-dragon-nx32/devices.c
@@ -52,7 +52,7 @@ uint8_t ide_slot = 3;         /* Disk in slot 3 by convention */
 
 static uint8_t old_slot;
 
-void ide_select(void)
+void ide_select(uint8_t device)
 {
   if (cartslots > 1)
     old_slot = mpi_set_slot(ide_slot);