Add more kernel config options for Docker