Move back to regular random seeder & fix kernel config