Fix arm11u and sdmc examples

They now build again!

Whether they still run, I can't be sure...