Is HP t510 Thin Client machine certified to run Red Hat Enterprise Linux 6 ?

Issue

• According to the official website of VIA Eden X2 Processors manufacturer, VIA Eden X2 processors are also fully compatible with Windows CE and Linux operating systems but RHEL-6 32 bit installation shows following message about the unsupportability of the CPU.

 kernel: Detected processor CentaurHauls 
 kernel: UNSUPPORTED HARDWARE DEVICE: Processor
 kernel: ------------[ cut here ]------------
 kernel: WARNING: at kernel/rh_taint.c:13 mark_hardware_unsupported+0x37/0x40() (Not tainted)
 kernel: Hardware name: HP t510 Thin Client
 kernel: Your hardware is unsupported.  Please do not report bugs, panics, oopses, etc., on this hardware.
 kernel: Modules linked in:
 kernel: Pid: 0, comm: swapper Not tainted 2.6.32-358.el6.i686 #1
 kernel: Call Trace:
 kernel: [<c0458451>] ? warn_slowpath_common+0x81/0xc0
 kernel: [<c0482407>] ? mark_hardware_unsupported+0x37/0x40
 kernel: [<c0482407>] ? mark_hardware_unsupported+0x37/0x40
 kernel: [<c04584e3>] ? warn_slowpath_fmt_taint+0x33/0x40
 kernel: [<c0482407>] ? mark_hardware_unsupported+0x37/0x40
 kernel: [<c0ac932e>] ? setup_arch+0xc25/0xc88
 kernel: [<c0adec67>] ? cgroup_init_subsys+0xcf/0xdb
 kernel: [<c0ac3716>] ? start_kernel+0xca/0x3b5
 kernel: ---[ end trace a7919e7f17c0a725 ]---
 kernel: NR_CPUS:32 nr_cpumask_bits:32 nr_cpu_ids:2 nr_node_ids:1
 kernel: PERCPU: Embedded 14 pages/cpu @c2a00000 s36088 r0 d21256 u1048576