access to hardware registers using KGDB on ARM