kernel/configs/base-generic/powerpc/powerpc64/CONFIG_ADB_PMU_LED_DISK