Re: [rdo-dev] [tripleo] cannot configure host kernel-args for pci passthrough with first-boot