picoC: remove revomini support

Temporary removed due a compiler issue on make ef_. Will be enabled
again when fault is removed.