[ fwiw, please note that I've not subscribed to the uboot ml ]
add "boe,nv140fhmn49" display to compatible node.
I didn't see u-boot output on the eDP panel; not sure if that's expected. Once linux booted it did work just fine.
I was trying to get working the eDP of my PBP and managed to get it. You need more patches in order to get it. The vopl mipi and eDP endpoints are inverted in the rk3399.dtsi file and the rk_edp.c file needs patching. I've put my current patches and uboot configuration at http://people.hupstream.com/~rtp/pbp/ in case you want to try in.
In order to build the ohci support (it seems it's needed by the PBP keyboard ?), you need to add to the include/configs/pinebook_pro_rk3399.h file, but I'm not 100% what's the correct setting for CONFIG_SYS_USB_OHCI_MAX_ROOT_PORTS.
#define CONFIG_SYS_USB_OHCI_MAX_ROOT_PORTS 1 #define CONFIG_USB_OHCI_NEW 1
Please report success or failure.
Arnaud