The kernel uses a non standard `kmalloc` to allocate memory anyway, I don't know how they plan to integrate Rust into the kernel but I would be very surprised if they imported any of Rust's std as-is.

Actually most of the time you probably wouldn't want a Vec that reallocates automatically in the kernel, you'd probably want a dynamically allocated array of fixed length the majority of the time.