> note to self: I haven't yet checked whether any of the *BSDs can read EFI variables in general and on this hardware in particular

Good news: FreeBSD is able to read the whole variable list.

Bad news: I just wiped my test drive with all the in-progress kernel patches by accident.