Software Product Lines (SPLs) are families of related software systems that provide different combinations of features. Extensive research and application attest to the significant economical and technological benefits of employing SPL practices. Variability models represent the feature combinations and the properties of the software products of SPLs. Kconfig configuration files from open source projects have been proposed as large and realistic case studies for research on analysis of variability models. However, despite the extensive work on this subject, the seemingly direct approach of translating Kconfig to Binary Decision Diagrams (BDDs) — a representation that has shown significant advantages for complex analysis of variability models — has not been explored. To address this gap, we propose a simple translation scheme which we evaluate with five case studies. Our encouraging results indicate the feasibility of our approach and open up avenues for further research.