altos: stm and lpc ao_boot.h were identical. move to kernel.