Changes
# Download the latest release from [[IPC3 BIOS files]].
# Copy the archive contents to a USB flash drive formatted FAT32.
# Plug the USB flash drive into IPC3 and power on.
# Press the F7 key during boot to show the "select boot device" menu.