#55 TODO: build 32-bit and 64-bit tianocore. currently only 64-bit one is build, but retroboot supports T60 which is a 32-bit machine