Re: [PATCH] aarch64: use <sys/user.h> defined register structures