diff --git a/src/etc/inc/services.inc b/src/etc/inc/services.inc
index 7dd1739de3..2ab30e243f 100644
--- a/src/etc/inc/services.inc
+++ b/src/etc/inc/services.inc
@@ -921,6 +921,8 @@ EOD;
 				$dhcpdconf .= "		filename \"{$dhcpifconf['filename32']}\";\n";
 				$dhcpdconf .= "	} else if option arch = 00:07 {\n";
 				$dhcpdconf .= "		filename \"{$dhcpifconf['filename64']}\";\n";
+				$dhcpdconf .= "	} else if option arch = 00:09 {\n";
+				$dhcpdconf .= "		filename \"{$dhcpifconf['filename64']}\";\n";
 				$dhcpdconf .= "	} else {\n";
 				$dhcpdconf .= "		filename \"{$dhcpifconf['filename']}\";\n";
 				$dhcpdconf .= "	}\n\n";