Ok I graduated to the stupid class by turning off the USB ports in the UEFI bios setup. I can still access my Udoo x86 advanced by ssh, so I attempted to flash the latest UEFI image to restore factory defaults. I'm running Arch Linux with a 4.12 kernel. Following the instructions I run the bios updater script as root - it compiles the flash driver but then issues the following error message: "Error: SMI cmd not found." Same result if I compile the driver manually and insmod it myself before running the script. It reports flash as successful - but clearly nothing has been done. I have gcc and kernel headers installed, as per instructions. What have I missed and what should I do? Thanks in advance.