> Is your kernel up to r337773 yet? That should have addressed the EFIRT > boot issue. > > Rebuilding now. Not sure how late I started so I might have missed it.