Looks good to me. A better, longer-term, change would be to replace this list entirely with a dynamically allocated linked list or something. It isn't used in early boot (before malloc), or from assembly, or from anywhere performance-critical, so there's really no reason to keep it like this.