It has to be done some additional work to prepare it for Intel platform. For now, we do not have plans for this (no inquiries from users) but it can change in the future.
I've also been contemplating a move to x86 platform, there are some fairly cheap micro itx motherboards with onboard APU's out there that would offer a massive performance increase. Power supplies are not so simple but they are available.
I was going to ask the same basic question, is there any x86 support.
I have a mini box (Azulle Byte 3) that I've been looking to use for running either Linux or Android in addition to Windows 10 in a dual-boot configuration. The GVIF interface I will be using requires a VGA RGBS signal as input, which the RPi doesn't provide. Additionally I am hoping to incorporate some RTLSDL functionality specifically for decoding HD FM radio (US specific standard, similar but unrelated to DBS) which the RPi doesn't have the horse power to do cleanly.
I don't mind paying for OpenAuto Pro at all, but I need a non RPi install to incorporate the features I'm planning.
Just a quick thought on the comment above, you put this thought into my head. With all the SBC coming out it, my force the hand of a RPI4? It is about time they do an upgrade on ram and processor with maybe usbc?