kernel building script from gustavo