Update et_cfe.h