Somehow I managed to have #9front boot from a thumb drive on my laptop by enabling some USB compatibility mumbo-jumbo in the UEFI firmware setup menus. Yay!
OTOH the wireless chip (Intel, quite recent) is unsupported, so I either adapt somehow “etheriwn.c” or lay some Ethernet cable—the wired interface seems to be usable, at least.
Of course I checked that firmware is installed. Didn't help. The “etheriwn” driver seems to support wireless chips which use OpenBSD's “iwn” firmware package, but this one needs the “iwm” one... maybe a new “etheriwm” driver for the #plan9 kernel would be needed instead after all