siegeengine: world kernel update to 3.12.9