x86: bump default kernel partition size to 16M