As GNU and Linux Become Dominant Platforms They Need Not Follow Microsoft With UEFI