Fix for x86_64 firmware generation

No match.