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