ARM: vt8500: enable V6K instead of plain V6