Mux I2S at Tock start

- Configure the pinmux for I2S TX and RX.

Change-Id: I91edce555b58e72ef3969b718fc6fb24e531ec69

app/src/main.rs

diff --git a/app/src/main.rs b/app/src/main.rs
index 89fec44..568d6ad 100644
--- a/app/src/main.rs
+++ b/app/src/main.rs
@@ -40,6 +40,14 @@
     dprintf!("SEC: Booting seL4 from TockOS app done!\r\n");
 
     MailboxClient::init();
+
+    let _ = MailboxClient::output_select_async(47, 56).await;
+    let _ = MailboxClient::output_select_async(48, 57).await;
+    let _ = MailboxClient::input_select_async(64, 51).await;
+    let _ = MailboxClient::output_select_async(50, 58).await;
+    let _ = MailboxClient::output_select_async(51, 59).await;
+    let _ = MailboxClient::output_select_async(52, 60).await;
+
     let wait_result = Cell::new(WaitResult::default());
     MailboxClient::wait_message_setup(&wait_result, unsafe { &mut MESSAGE_BUF });
 

hal/src/pinmux_hal.rs

diff --git a/hal/src/pinmux_hal.rs b/hal/src/pinmux_hal.rs
index 261b6d6..90d4d17 100644
--- a/hal/src/pinmux_hal.rs
+++ b/hal/src/pinmux_hal.rs
@@ -16,6 +16,7 @@
 // Build date: 2023-11-10T00:20:05.600739
 
 // Original reference file: hw/matcha/hw/top_matcha/ip/pinmux/data/autogen/pinmux.hjson
+
 use kernel::common::registers::ReadWrite;
 use kernel::common::registers::{register_bitfields, register_structs};
 use kernel::common::StaticRef;