У кого есть успешный опыт удаленной отладки ядра Linux (Ubuntu 12.04) из под VirtualBox?

Если на стороне Ubuntu запускать linux_servex64, то IDA отлично загружает и отлаживает пользовательские программы, но с отладкой ядра полные непонятки.