Получение гостевых дополнений VBox для Android x86

Я использую Android x86 на VirtualBox, и я хочу, чтобы была включена интеграция указателя, что требует установки гостевых дополнений VirtualBox в гостевой ОС.

Я много искал, но обнаружил, что гостевые дополнения нужно компилировать с заголовками ядра Android-x86. Кто-нибудь может поделиться, пожалуйста, как это сделать?

Заранее спасибо.