PLATFORM_NAME="Pinebook Pro" PLATFORM_PKGS=(pinebookpro-base) PLATFORM_CMDLINE="console=ttyS2,115200 video=eDP-1:1920x1080x60" PLATFORM_DTB="rockchip/rk3399-pinebook-pro.dtb"
