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: http://www.mctsol.com/phpBB3/viewtopic.php?f=55&t=1077

Thank you for your time, Ulincsys