Index: sys/arch/x86/x86/mpbios.c
===================================================================
RCS file: /cvsroot/src/sys/arch/x86/x86/mpbios.c,v
retrieving revision 1.66
diff -u -r1.66 mpbios.c
--- sys/arch/x86/x86/mpbios.c	23 May 2017 03:18:40 -0000	1.66
+++ sys/arch/x86/x86/mpbios.c	4 Jul 2018 15:12:07 -0000
@@ -302,10 +302,10 @@
 
 	mpbios_page = mpbios_map(0, PAGE_SIZE, &t);
 
-	ebda = *(const uint16_t *)(&mpbios_page[0x40e]);
+	ebda = mpbios_page[0x40e] | (mpbios_page[0x40f] << 8);
 	ebda <<= 4;
 
-	memtop = *(const uint16_t *)(&mpbios_page[0x413]);
+	memtop = mpbios_page[0x413] | (mpbios_page[0x414] << 8);
 	memtop <<= 10;
 
 	mpbios_page = NULL;