Don't build rockpro64-rk3399 for now since it needs LPDDR4 support that didn't make it into U-Boot 2019.07. ok jsg@