Make Kconfig account for badass gov