Arch Linux on a Librebooted Dell Latitude E6230 -- installed using the recently added U-Boot payload.
U-Boot provides a 64-bit UEFI environment on x86 in Libreboot. All of the photos below are of UEFI booting, in Libreboot!
U-Boot on x86 is still quite imperfect on real hardware, but can work well. A lot more testing needed; the way I do it is I load U-Boot from flash, via SeaBIOS ESC menu.
Simon Glass has been helping me. This will be available on most machines in the next Libreboot release.