[PATCH] avrt: Add AVRT_PRIORITY_VERYLOW to avrt.h