ipxe branding

diff --git a/src/config/branding.h b/src/config/branding.h
index 73f00af9..69fcec62 100644
--- a/src/config/branding.h
+++ b/src/config/branding.h
@@ -169,6 +169,9 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
  */
 #define PRODUCT_SETTING_URI "http://ipxe.org/cfg/%s"

+#include <config/named.h>
+#include NAMED_CONFIG(branding.h)
 #include <config/local/branding.h>
+#include LOCAL_NAMED_CONFIG(branding.h)

 #endif /* CONFIG_BRANDING_H */