The Pi boots on its GPU, which is a closed off Broadcom design. Likely complicates things a bit.