sum4358

I am evaluating the RK3399 (boards) to use as a multipurpose server. One of the use cases is to periodically build a patched Linux kernel. Does anybody know how long it takes to build the kernel on a generic RK3399 board? Thanks.