Make kernel depend on jump tables properly