Re: [U-Boot] [PATCH v2 17/19] defconfig: dra72_evm: enable timer driver model