arm64: Add support for configuring Debug HW registers

Configure the default number of Debug HW registers for the Realm.
A user option could be specified if necessary.

Signed-off-by: Suzuki K Poulose <suzuki.poulose@arm.com>