Change name of device tree

Hi, as stated in the FAQ, we’d suggest you do a whole re-flash to make sure the change takes effect.