Re: [PATCH] ARM: dts: am335x-pocketbeagle: choose tick-timer