dbx500-prcmu.h: Add PRCMU_ARMCLK clock identifier