Re: [Arm] [PATCH] arm64: Fix build due to HMP tracepoints