On 26-03-11, Ahmad Fatoum wrote: > There's no point in bothering users about this option if OP-TEE loading > from PBL isn't even enabled. > > Signed-off-by: Ahmad Fatoum <a.fatoum at pengutronix.de> Reviewed-by: Marco Felsch <m.felsch at pengutronix.de>