diff --git a/repos/os/run/sd_card_bench.run b/repos/os/run/sd_card_bench.run
index 70f07a20d1..1a468ba61f 100644
--- a/repos/os/run/sd_card_bench.run
+++ b/repos/os/run/sd_card_bench.run
@@ -3,8 +3,7 @@
 #
 
       if {[have_spec pl180]}   { set buffer_size_kib [expr 12 * 1024]
-} elseif {[have_spec imx6] &&
-          ![have_spec sel4]}   { set buffer_size_kib [expr      1024]
+} elseif {[have_spec imx6]}    { set buffer_size_kib [expr      1024]
 } elseif {[have_spec imx53] &&
           ![have_spec foc]}    { set buffer_size_kib [expr      1024]
 } elseif {[have_spec rpi]}     { set buffer_size_kib [expr  4 * 1024]