I used the custom kernel written by yogipaolo, found here:
[url]http://fogproject.org/forum/threads/lenovo-x130e.587/#post-2813[/url]

Works like a charm - booting the kernal seems to take a while but otherwise perfect.