--- zzzz-none-000/linux-4.4.60/drivers/staging/Kconfig 2017-04-08 07:53:53.000000000 +0000 +++ dragonfly-4020-701/linux-4.4.60/drivers/staging/Kconfig 2018-11-08 13:36:17.000000000 +0000 @@ -72,8 +72,6 @@ source "drivers/staging/rdma/Kconfig" -source "drivers/staging/android/Kconfig" - source "drivers/staging/board/Kconfig" source "drivers/staging/gdm72xx/Kconfig"