use aries stock kernel

Change-Id: I62abc60635987faf9662df19b6ee3cec82ea640a