include/shared/lk: benchmark cleanup am: bae0f95b28

Original change: https://android-review.googlesource.com/c/trusty/lk/trusty/+/2826073

Change-Id: I5c399fdba1185b7648477030702e1f7c600be51d
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>