Also, none of the documentation was explicit in saying that withefibootmgr, you have to go into the BIOS setup to select the kernel youwant to boot. Nothing wrong with that, but if I'd know first, I wouldn'thave bothered getting it working. (Sorry, it's been a strenuousevening.)