Index: head/sys/boot/i386/libi386/pxe.c
===================================================================
--- head/sys/boot/i386/libi386/pxe.c
+++ head/sys/boot/i386/libi386/pxe.c
@@ -621,13 +621,6 @@
 	v86.ctl  = V86_FLAGS;
 }
 
-time_t
-getsecs(void)
-{
-	time_t n = 0;
-	time(&n);
-	return n;
-}
 
 static int
 pxe_netif_match(struct netif *nif, void *machdep_hint)
Index: head/sys/boot/i386/libi386/time.c
===================================================================
--- head/sys/boot/i386/libi386/time.c
+++ head/sys/boot/i386/libi386/time.c
@@ -32,6 +32,7 @@
 #include "bootstrap.h"
 #include "libi386.h"
 
+time_t		getsecs(void);
 static int	bios_seconds(void);
 
 /*
@@ -91,6 +92,14 @@
     return(now);
 }
 
+time_t
+getsecs(void)
+{
+	time_t n = 0;
+	time(&n);
+	return n;
+}
+
 /*
  * Use the BIOS Wait function to pause for (period) microseconds.
  *