switch to AeroKernel