loader typically doesn't do this so that we end up booting the with whatever the EFI loader has set it to last.