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