[PATCH 4/4] configs: legoev3: disable non-Linux boot options