X61T Win7x64 Boot Issue: Ultrabase Dock & SD Host Controller

[crashnburn]

X61T Win7x64 Boot Issue: Ultrabase Dock & SD Host Controller

X61T Win7x64 Boot Issues: Ultrabase Dock & SDA SD Host Controller

In the long process of solving this, I went through various BIOS Versions: Middleton 1.24 > Lenovo 1.25 > Lenovo 1.24 > Lenovo 1.25

Issue 1: Fn-F5 WiFi Enable not working: Still exists
On this instance of Win7x64 Once I was testing the Fn-F5 Hotkey Software and I disabled the WiFi & Bluetooth. I allowed me to renable Bluetooth but not the WiFi.
WiFi has since been permanently disabled via this instance of Win7 x64 OS on HDD even though the Hard Switch is in ON position.

I WAS trying to figure it out as to what the issue was, but not sure as yet and gave it up as bigger issues had popped up. When I figured most of the stuff is working fine, I find this new issue.

Issue 2: Booting without Ultrabase not working: Kind of solved as issue is SD Controller
It will boot while docked on the Ultrabase (AC power: ON or OFF both ways, Wireless Switch: On or OFF both ways). But not at all when undocked (With AC power ON or OFF, Wireless ON or OFF).
It freezes at the same wierd point as it did before when this whole issue began. At a certain point in the BOOT.
If you've noticed during a boot when the white mouse pointer just becomes visible alone. Well, it locks just before this. I wonder why?

UPDATE:
Issue 3: SD Card Reader Enabled does not allow Booting & Shutdown - KEY ISSUE for now
I was able to figure out that "SDA Standard Compliant SD Host Controller" was that one causing the issues:
- tons of DELAY during shutdown (shutdown would eventually fail and I'd have to power it off) and
- was preventing Windows 7 from Booting to success.

I've disabled it, on two instances of Win7x64 install on 2 HDDs which now boot up fine.

If SDA Standard Compliant SD Host Controller enabled, there's constant attempt to access it (the little green/yellow light keeps flickering) big time and hence the system gets stuck.

Any thoughts on how to fix it?
Which driver should I use to install it?

[loyukfai]

Using the default driver and it's running fine. Got an alternative here but I don't think it works for x64 boxes.

http://ifile.it/39xnizc/Ricoh%20SDMMC%2 ... 2.3_XP.exe

Anyway, just disable it, the SD card slot is not fast and uses a lot of CPU.

You may also clean it and see if it helps...?

Cheers.