[PATCH] optee: fix format string for printing optee build_id