rc2014: remove dead bits

diff --git a/Kernel/platform-rc2014/rc2014.s b/Kernel/platform-rc2014/rc2014.s
index b052912..16b5ad7 100644 (file)
--- a/Kernel/platform-rc2014/rc2014.s
+++ b/Kernel/platform-rc2014/rc2014.s
@@ -33,7 +33,6 @@
        .globl unix_syscall_entry
        .globl nmi_handler
        .globl null_handler
-        .globl _boot_from_rom
        .globl _ser_type
 
        ; exported debugging tools