The helios64 devicetree was submitted for inclusion in the mainline kernel.
The name used there is rk3399-kobol-helios64, so use the same here
for consistency, to be easily able to boot a mainline kernel without
changing the U-Boot environment and simplify further development.
b031de58d7