CONFIG_AMDTEE=m
