kernel for monarudo (verizon dlx)