--- arch/i386/Makefile.orig	2015-06-03 19:18:27 UTC
+++ arch/i386/Makefile
@@ -94,7 +94,8 @@ ISOLINUX_BIN_LIST	:= \
 	/usr/share/syslinux/bios/isolinux.bin \
 	/usr/local/share/syslinux/isolinux.bin \
 	/usr/local/share/syslinux/bios/isolinux.bin \
-	/usr/lib/ISOLINUX/isolinux.bin
+	/usr/local/share/syslinux/bios/core/isolinux.bin \
+	/usr/lib/ISOLINUX/isolinux.bin
 ISOLINUX_BIN	= $(firstword $(wildcard $(ISOLINUX_BIN_LIST)))
 
 # i386-specific directories containing source files