Ya I read what -k is, but no idea what Diablo is. Don't even know if kernel is software or hardware... firmware?