Fix build errors due to CONFIG_BRANCH_TRACER=y