distributions/LibreELEC/kernel_options