ARM/AVR32: get rid of serial_at91.h