Re: [opensuse-kernel] [PATCH] config/armv7hl: Clean up TS-4800 support