Since I cannot find clear documentation on the subject, I was wondering: does Coreboot support baytrail tablet computers? and if so, how do I install it?

I remember reading an article about last-generation SoC support, but not specifically the current generation of chipsets (that can be found in the HP Stream, Dell Venue 8 Pro, Asus T100, ect...). One of the reasons I want to know, is because a majority of these devices (literally all but one) come with a 32-bit only UEFI BIOS, which makes it impossible to use the device to it's full capacity. For more this issue, my review of the problem can be found here:

Thank you for your time, Ulincsys