Has anyone experience with FreeBSD and Intel Edison? Setup with UEFI boot, drivers, booting, setting up serial console, etc? Edison is supposed to be 64bit? How about galileo? Seems i386 and UEFI, does that work yet? //hsu