x86: Add CE4100 platform support