xous: include prelude to define c_int

[xobs]

Description

Include the prelude on Xous to fix the build in Rust libstd. This PR is against main, as opposed to the PR against libc-0.2.

Sources

N/A

Checklist

• Relevant tests in libc-test/semver have been updated
• No placeholder or unstable values like *LAST or *MAX are
  included (see #3131)
• Tested locally (cd libc-test && cargo test --target mytarget);
  especially relevant for platforms that may not be checked in CI

Extra

With the latest changes, libstd no longer builds:

   Compiling libc v0.2.170 (/opt/Xous/libc)
error[E0412]: cannot find type `c_int` in this scope
  --> /opt/Xous/libc/src/xous.rs:17:20
   |
17 | pub const INT_MIN: c_int = -2147483648;
   |                    ^^^^^ not found in this scope
   |
help: consider importing one of these type aliases
   |
5  + use crate::c_int;
   |
5  + use rustc_std_workspace_core::ffi::c_int;
   |

error[E0412]: cannot find type `c_int` in this scope
  --> /opt/Xous/libc/src/xous.rs:18:20
   |
18 | pub const INT_MAX: c_int = 2147483647;
   |                    ^^^^^ not found in this scope
   |
help: consider importing one of these type aliases
   |
5  + use crate::c_int;
   |
5  + use rustc_std_workspace_core::ffi::c_int;
   |

For more information about this error, try `rustc --explain E0412`.
error: could not compile `libc` (lib) due to 2 previous errors

[rustbot]

r? @tgross35

rustbot has assigned @tgross35.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[tgross35]

Thanks!

[xobs]

Thanks for the quick turnaround. What is the process to get this into libstd? Does a new version need to be published and then Cargo.lock updated in the Rust source tree? If so, can I have you push a new version?

[tgross35]

That's all, you'll be able to submit a PR to rust-lang/rust doing that if it hasn't been done already. There should be a release within the next day or two.

[xobs]

Alright, I'll do that as soon as I see v0.2.171 is published.