sh: mach-edosk7705: Fix up edosk7705 so it all builds again.