4.4.207?? You didn't get most up to date on git,, 4.4.210,, and the (mrfixit) updates to 4.4.213
(ls /lib/modules)
That update is an icon just left of clock, bottom right (logged in as root)
If you added a user, it (icon) may not be there (also updates & writes u-boot)
/usr/bin/mrfixit_update.sh (as root,, it will modify extlinux.conf too)
BTW, extlinux has NOTHING to do with syslinux, just the same name
I don't think you want (or should) use a stock debian kernel,
it lacks pbp specific patches
You know kernel is 64 bit,, userland armhf (32 bit)?? (mrfixit distro)
(ls /lib/modules)
That update is an icon just left of clock, bottom right (logged in as root)
If you added a user, it (icon) may not be there (also updates & writes u-boot)
/usr/bin/mrfixit_update.sh (as root,, it will modify extlinux.conf too)
BTW, extlinux has NOTHING to do with syslinux, just the same name
I don't think you want (or should) use a stock debian kernel,
it lacks pbp specific patches
You know kernel is 64 bit,, userland armhf (32 bit)?? (mrfixit distro)