OSDN Git Service

arm64: Kconfig: Make ARM64_PSEUDO_NMI depend on BROKEN for now