samsung: common: increase space for kernel from 8MiB to 16MiB