[MACHINE][C72 Mini] Add devicetree for C72 Mini

 - Rename overlays: in common for Mini and Nano
 - Add devicetree for Mini using machineoverride
 - Use ":append" instead of "+=" for KERNEL_DEVICETRE; in this way the
   correct devicetree is assigned after the machineoverride setting in
   the SoC specific configuration.