[PATCH v1 0/1] bootcount: zynqmp: Add bootcount API