Add ArkenStone kernel to manifest