i won't copy your html mail here, but have you tried updating your bios? it's helpful if you put the whole dmesg in your mail.
it's possible there's an issue in sdhc_acpi.c code, but it's also possible it's a bug in your bios since it's clear from the trace it's trying to pass an invalid value for the size to bus_space_map.
