sel4test: disable nested fault test on raspi

The nested fault test is flaky on qemu when emulating the bcm2837.

Bug: 264478941
Change-Id: Id10b11ac76d06bcba897f46ccd072c33ec76a0db

apps/sel4test-tests/src/tests/faults.c

diff --git a/apps/sel4test-tests/src/tests/faults.c b/apps/sel4test-tests/src/tests/faults.c
index 7ae7839..ab284a0 100644
--- a/apps/sel4test-tests/src/tests/faults.c
+++ b/apps/sel4test-tests/src/tests/faults.c
@@ -1064,7 +1064,10 @@
 
     return sel4test_get_result();
 }
-DEFINE_TEST(TIMEOUTFAULT0003, "Nested timeout fault", test_timeout_fault_nested_servers, config_set(CONFIG_KERNEL_MCS))
+// TODO(b/264478941): disable for raspi/bcm2837 due to qemu timer problems
+//  (no way to identify simulator so use platform as a proxy)
+DEFINE_TEST(TIMEOUTFAULT0003, "Nested timeout fault", test_timeout_fault_nested_servers,
+    config_set(CONFIG_KERNEL_MCS) && !config_set(CONFIG_PLAT_BCM2837))
 
 static void vm_enter(void)
 {