Allow configuring for a given boot platform.

Conflicts:
	configure