[lundman]

Gimli

No direct answer, but they didn't say it wasn't it

As you know well, the MFC includes a small ARM core and it need a firmware for video codec processing. The firmware is not an open source but the APIs are well opened.
Android multimedia framework is also calling the MFC device driver APIs.

So you can refer our Android BSP source code to start your project.
But it may take very long time to port it to XBMC. I think so.

So it sounds like that is all possible.