Codina defconfigs update

@Paul-L Enable SELinux on kernel
@Paul-L Allow custom boot arguments to be passed to the kernel on top of
the bootloader ones.