Add kernel command line options enabling mitigations of side-channel attacks