Add libsel4/Kconfig
Add libsel4/Kconfig

winksaville/sel4-minimal-helloworld,winksaville/sel4-minimal-helloworld,winksaville/sel4-minimal-helloworld,winksaville/sel4-minimal-helloworld,winksaville/sel4-minimal-helloworld