Re: [PATCH] tee: combine "config" and "menu" for TEE's menuconfig