Vou tentar fazer o flash do LibreBoot (um coreboot downstream específico) em um thinkpad T440p. Mesmo com o libreboot - as instruções são bastante complexas, mas parecem totalmente factíveis. Há uma coisa, no entanto - não posso ter certeza se posso fazer as ROMs de inicialização usando lbmk
um computador linux relativamente poderoso (executando manjaro/arch) e depois fazer o flash usando o RaspberryPi, ou devo fazer as ROMs no raspberrypi que serei usando para piscar (com um clipe SOIC-8).
Intuitivamente, acho que não deve haver problema, mas simplesmente não conheço essa área.
Talvez alguém que entenda isso melhor ou que tenha feito o libreboot flash possa explicar isso?