Andrea Kimi Antonelli would now officially be allowed to compete in Formula 1. The rule introduced in F1 after Max Verstappen's debut has been removed from the regulations.