Update config/armv7hl: Clean up TS-4800 support
    
    The Technologic Systems TS-4800 is an i.MX515 board. The lpae flavor
    doesn't support this platform so it shouldn't include any TS-4800
    driver. The default and vanilla flavors do support it. If we want
    them to support the board properly then all its drivers should be
    enabled.