pub fn append_ivt_header( input_path: &Path, output_path: &Path, entry_point: u32, boot_device: BootDevice, ) -> Result<()>