Index: tools/config.py
===================================================================
--- tools/config.py	(revision 095ed4a4a5ddf557d343fea0988b25a4e6647b15)
+++ tools/config.py	(revision bef51cf393627fd60142c6b98424b35660187cd1)
@@ -772,5 +772,5 @@
 
 				if mask_platform and (varname == "PLATFORM" or varname == "MACHINE" or varname == "COMPILER"):
-					continue
+					rule = varname, vartype, "(locked) " + name, choices, cond
 
 				if varname == selname:
@@ -837,4 +837,7 @@
 			else:
 				value = config[selname]
+
+			if mask_platform and (selname == "PLATFORM" or selname == "MACHINE" or selname == "COMPILER"):
+					continue
 
 			if seltype == 'choice':