mako: use my non-selinux device tree and my own kernel