I just played around with the ubuntu release upgrade which does not want to start due to insufficient space in "/boot" reported (asking for 40MB more).
Out of curiosity I booted from SD card and increased the boot partition of the integrated eMMC with "gparted" (shrink ext4 partition by 50 MB and move to right, expand boot partition by 50 MB).
Later I was able to do a release upgrade of ubuntu using the standard commands.
It took quite a while. But 2 hours and one reboot later I had Ubuntu 16.10 running on my pinebook.
The kernel itself was NOT updated (/boot stayed 100% same).
No problems so far with Ubuntu 16.10 and the old 3.10 kernel. All seems to work as expected.
So increasing the /boot partition by 40 MB seems to do the trick (even that it is not used).
Will try 17.04 upgrade next.
Just did another upgrade to 17.04. It took much longer to upgrade but it is also running ok.
Maik
Out of curiosity I booted from SD card and increased the boot partition of the integrated eMMC with "gparted" (shrink ext4 partition by 50 MB and move to right, expand boot partition by 50 MB).
Later I was able to do a release upgrade of ubuntu using the standard commands.
It took quite a while. But 2 hours and one reboot later I had Ubuntu 16.10 running on my pinebook.
The kernel itself was NOT updated (/boot stayed 100% same).
No problems so far with Ubuntu 16.10 and the old 3.10 kernel. All seems to work as expected.
So increasing the /boot partition by 40 MB seems to do the trick (even that it is not used).
Will try 17.04 upgrade next.
Just did another upgrade to 17.04. It took much longer to upgrade but it is also running ok.
Maik