Delete badge4_defconfig