[PATCH gnumach] cpu_number: Fix missing return

[Damien Zammit]

---
 i386/i386/cpu_number.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/i386/i386/cpu_number.c b/i386/i386/cpu_number.c
index ad4c4b01..42aa6ea1 100644
--- a/i386/i386/cpu_number.c
+++ b/i386/i386/cpu_number.c
@@ -36,5 +36,7 @@ int cpu_number(void)
                printf("apic_get_cpu_kernel_id() failed, assuming BSP\n");
                kernel_id = 0;
        }
+
+       return kernel_id;
 }
 #endif
--
2.34.1