avr32: use Kbuild infrastructure to handle the asm-generic headers