Support chipKIT board, __PIC32MX__ does not contain avr/sleep.h