> I need to update the firmware of a fan for the RPi4 and given the below instructions in Raspbian. I also installed
>
> sudo dnf -y install i2c-tools
> sudo dnf -y install python3-i2c-tools
>
> but the firmware update fails. I guess, it is because of the serial port not being enabled. Any advice?

Can you actually link to the hardware and the instructions you're
attempting to follow/convert, it saves people actually trying to
guess/interpret what that may be.

> Thanks, Thomas
>
> In order to use bootloader, user need to have activated and free Serial Port on Raspberry Pi®. The below
> procedure is showing how to make sure that Serial Port is free and available for Bootloader process.
> sudo raspi-config
> Select -> Interfacing Options
> 1. IC Kernel ON
> 2. Serial option to enable UART
> Then it will ask for login shell to be accessible over Serial, select No shown as follows.
> At the end, it will ask for enabling Hardware Serial port, select Yes,
> Then, reboot the Raspberry Pi®!!

I take it they're the details for Raspbian?