Re: [PATCH v1] configs: arbel: Use generic timer and npcm reset driver