Enable missing kernel config options for systemd

Signed-off-by: Fahad Arslan <fahad_arslan@mentor.com>