Fix for x86_64 firmware generation