altos: Move empty ao_mutex_get/put to ao_notask.h