--- VirtualBox-4.0.10_OSE/src/VBox/Devices/PC/Etherboot-src/Makefile.kmk.orig	2011-06-27 16:01:43.000000000 +0200
+++ VirtualBox-4.0.10_OSE/src/VBox/Devices/PC/Etherboot-src/Makefile.kmk	2011-06-28 17:34:35.666880640 +0200
@@ -18,7 +18,7 @@
 SUB_DEPTH = ../../../../..
 include $(KBUILD_PATH)/subheader.kmk
 
-if1of ($(KBUILD_TARGET).$(KBUILD_TARGET_ARCH), darwin.x86 darwin.amd64 os2.x86 solaris.x86 solaris.amd64 win.x86 win.amd64 linux.amd64 freebsd.amd64)
+if1of ($(KBUILD_TARGET).$(KBUILD_TARGET_ARCH), darwin.x86 darwin.amd64 os2.x86 solaris.x86 solaris.amd64 win.x86 win.amd64 linux.x86 linux.amd64 freebsd.amd64)
  #
  # Build it from a precompiled binary.
  # See notes about the binary load address and size way below.