diff --git a/pkg/debian/kernel/ubuntu.config b/pkg/debian/kernel/ubuntu.config
index 80c412945..7ada34862 100644
--- a/pkg/debian/kernel/ubuntu.config
+++ b/pkg/debian/kernel/ubuntu.config
@@ -2,3 +2,14 @@
 ## Disable debug info
 ##
 # CONFIG_DEBUG_INFO is not set
+
+##
+## Additional options from upstream (not in PPA)
+##
+CONFIG_ASHMEM=m
+CONFIG_ANDROID=y
+CONFIG_ANDROID_BINDER_IPC=m
+#CONFIG_ANDROID_BINDERFS is not set
+CONFIG_ANDROID_BINDER_DEVICES="binder"
+#CONFIG_ANDROID_BINDER_IPC_SELFTEST is not set
+