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