To samozřejmě není šumafuk - alespoň pokud vám něco říká modularita.
Ad sný "mikrokernel" widnows shodím do BSOD na požádání třeba tím, že při uspávání vypnu externí monitor - modifikovaný mikrokernel :). Možná jste objevil chybu ve WHQL driveru, gratuluji.