Re: [PATCH] optee: enable apci support