main/linux-postmarketos-exynos4: boot.img too big

Describe your issue

boot.img-postmarketos-exynos4 is too big by 156KiB, so it does not fit BOOT partition.

What's the expected behaviour?

boot.img-postmarketos-exynos4 file should be max 8MiB.

What's the current behaviour?

boot.img-postmarketos-exynos4 file is 8.15MiB.

How to reproduce your issue?

Build edge with device-samsung-i9300-kernel-mainline-i9300 device-samsung-i9300-nonfree-firmware

What device are you using?

samsung-i9300

On what postmarketOS version did you encounter the issue?

• edge (master branch)
• stable (v20.05 branch)

How did you get postmarketOS image?

• I built it using pmbootstrap

What's the build date of the image? (in yyyy-mm-dd format)

2021-03-25

Additional information