savedcmd_drivers/tee/optee/modules.order := {  :; } > drivers/tee/optee/modules.order