Есть Samsung ATIV Smart PC 500T1C на 32 битном процессоре интел атом с 32 битным UEFI. Как поставить туда линукс? Где-то читал про ROSA Linux, скачал с официального сайта, но там 32 битный образ без uefi.