Hi, We got an "adventourous" user at work. He got a x250 and install Ubuntu UEFI booted on it, no problem. But he tried "# rm -rf /*", and now the computer is bricked. Because the UEFi is mounted RW somewhere on the /, he remove files on the UEFI/ with his command... Now the computer won't start. Is there a way to restore the bios? Thx!