postmarketOS does not utilize SELinux. Besides, Samsung bootloader will ignore cmdline from the boot image, anyway.