Index: meson/part/extra_targets/meson.build
===================================================================
--- meson/part/extra_targets/meson.build	(revision 45fdc55d7dff65dedee3fb767e24e114a162ebeb)
+++ meson/part/extra_targets/meson.build	(revision 095ed4a4a5ddf557d343fea0988b25a4e6647b15)
@@ -31,5 +31,5 @@
 	command: [
 		sh,
-		'-c', 'cd $1 && $2 $3 $4',
+		'-c', 'cd $1 && $2 $3 $4 $5',
 		'--',
 		meson.build_root(),
@@ -37,4 +37,5 @@
 		meson.source_root() / 'HelenOS.config',
 		meson.source_root() / 'defaults',
+		'--mask-platform',
 	]
 )
Index: tools/config.py
===================================================================
--- tools/config.py	(revision 45fdc55d7dff65dedee3fb767e24e114a162ebeb)
+++ tools/config.py	(revision 095ed4a4a5ddf557d343fea0988b25a4e6647b15)
@@ -46,4 +46,5 @@
 ARGPOS_CHOICE = 3
 ARGPOS_PRESET = 4
+ARGPOS_MASK_PLATFORM = 3
 
 RULES_FILE = sys.argv[ARGPOS_RULES]
@@ -691,4 +692,6 @@
 		preset = None
 
+	mask_platform = (len(sys.argv) > ARGPOS_MASK_PLATFORM and sys.argv[ARGPOS_MASK_PLATFORM] == "--mask-platform")
+
 	# Input configuration file can be specified on command line
 	# otherwise configuration from previous run is used.
@@ -756,7 +759,9 @@
 			options = []
 			opt2row = {}
-			cnt = 1
-
-			options.append("  --- Load preconfigured defaults ... ")
+			cnt = 0
+
+			if not mask_platform:
+				cnt += 1
+				options.append("  --- Load preconfigured defaults ... ")
 
 			for rule in rules:
@@ -764,4 +769,7 @@
 
 				if cond and not cond.evaluate(config):
+					continue
+
+				if mask_platform and (varname == "PLATFORM" or varname == "MACHINE" or varname == "COMPILER"):
 					continue
 
@@ -812,5 +820,5 @@
 					continue
 
-			if value == 0:
+			if value == 0 and not mask_platform:
 				profile = choose_profile(PRESETS_DIR, MAKEFILE, screen, config)
 				if profile != None: