Just as a quick FYI, I see the same behavior (BootOrder is ignored, fallback path installation is necessary) on a HP Elitebook 8570p.
-- David Härdeman -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
