diff -r f27d5c83b05e tools/firmware/Makefile
--- a/tools/firmware/Makefile	Mon Feb 06 14:12:36 2012 +0100
+++ b/tools/firmware/Makefile	Thu Feb 09 12:21:42 2012 +0100
@@ -25,7 +25,7 @@ all: seabios-dir
 	echo "==========================================================================="; \
 	false ; \
 	fi
-	$(MAKE) subdirs-$@; \
+	$(MAKE) PYTHON=$(PYTHON) subdirs-$@; \
 
 
 .PHONY: install