Re: [PATCH v1 1/1] drivers: bootcount: Add ZynqMP specific bootcount support