/arch/avr32/kernel/