(Apparently last time something went wrong with Mailman, retrying) With the following patch series, we could successfully boot a locked XO-1 with F11-XO1 with leases.dat stored on a USB stick. We'll test activation over wifi tomorrow.