Vivado "Export hardware" packs unknown bitstream
I posted the same on Xilinx Forum and I think it could be an issue with Vivado not properly cleaning the .sysdef file in proj.runs/impl_1/.

After manually deleting it and re-generating the bitstream (which was fast because most of it was already compiled), the export gave me the proper .hdf.