boot build: Unconditionally write configuration files
boot.ini: allow different names for different targets