AVR32: Include <div64.h> instead of <asm/div64.h>