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