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.
defconfig: regenerate

Change-Id: I139321a484efc54d98a0df939df61d0639991227