Regardless of phone, the source code still comes from Google and I doubt they will try to completely rewrite how it works. I really hope ics will handle both cores right though.
if your still figuring this out check out system tuner on my current ice from I'm have enabled both and can confidently state that this issue is not with the rkm but the kernel the phone is using