RE: [PATCH] configs: socfpga: add kernel parameter for immediate reboot