wimexport: Document --wimboot option