armani: use prebuilt kernel;