Re: [PATCH] ARM: dts: am335x-chiliboard: add /chosen/tick-timer