use solid kernel

Change-Id: Ifef80b806e12b4b8626a0b21fb86fc56745c680a