Is there any documentation on how to use the EFI bootloader? I want to boot a Cubietruck from SD card/SATA SSD. It was originally setup to boot the kernel straight from u-boot. I have got the EFI bootloader onto an SD card but can't get it to do anything other than try to use ethernet to load a kernel.