수정하기 - 커널의 NMI(Non-Maskable Interrupt)란 무엇인가요?