Походу надо попробовать собрать Coreboot на Linux Mint.

В Арче для этого уж очень новый GCC :blobcatgoogly: