changed to 12.04 and add kernel