Remove special case for atmega in kernel_types.h