我的机器是 戴尔 dell venue 8 pro 5830，cpu 是 z3740D，cpu 是64位的，但是引导只支持32位的系统，这样就导致系统安装后无法启动。教程主要参考了这个帖子：
http://xhslink.com/a/biyYpdIqH9ieb
这个帖子已经非常详细了，照着一步步做就可以了，不过其中可能有两个步骤可能需要注意：
- 帖子中的2个32位启动文件，可以自己下载 debian 官方的 debian-11.7.0-i386-DVD-1.iso，解压后在 EFI/boot 目录中找到
- 安装好飞牛后，需要使用winpe手动替换启动文件，这个winpe也要是32位的，作者使用的是U盘魔术师，不知道为啥我用这个工具刷u盘失败了，后来换成了微pe就成功了。
