Increase selinux coverage of the host system #3610

Job	Run time
Check if we need to update the SDK	1h 57m 34s
Build an updated SDK container	-1s
Build the OS image	-1s
	1h 57m 32s

Provide feedback