New comment by ackalker on void-packages repository

https://github.com/void-linux/void-packages/issues/13133#issuecomment-511445008
Comment:
Output of running `efibootmgr -v`, then `vkpurge rm ...` on my system last afternoon:

```
# efibootmgr -v
Password: 
BootCurrent: 0000
Timeout: 1 seconds
BootOrder: 0007,0000,0006,0001,0008,0005
Boot0000* Void Linux with kernel 5.1	HD(3,MBR,0x91ec9a34,0xde94800,0x100000)/File(\vmlinuz-5.1.18_1)r.o.o.t.=./.d.e.v./.s.d.a.2. .q.u.i.e.t. .r.d...l.u.k.s.=.0. .r.d...l.v.m.=.0. .r.d...m.d.=.0. .r.d...d.m.=.0. .i.n.i.t.r.d.=./.i.n.i.t.r.a.m.f.s.-.5...1...1.8._.1...i.m.g.
Boot0001* Void Linux with kernel 4.19	HD(3,MBR,0x91ec9a34,0xde94800,0x100000)/File(\vmlinuz-4.19.59_1)r.o.o.t.=./.d.e.v./.s.d.a.2. .q.u.i.e.t. .r.d...l.u.k.s.=.0. .r.d...l.v.m.=.0. .r.d...m.d.=.0. .r.d...d.m.=.0. .i.n.i.t.r.d.=./.i.n.i.t.r.a.m.f.s.-.4...1.9...5.9._.1...i.m.g.
Boot0005* UEFI: Built-in EFI Shell 	VenMedia(5023b95c-db26-429b-a648-bd47664c8012)..BO
Boot0006* rEFInd Boot Manager	HD(3,MBR,0x91ec9a34,0xde94800,0x100000)/File(\EFI\refind\refind_x64.efi)
Boot0007* UEFI OS	HD(3,MBR,0x91ec9a34,0xde94800,0x100000)/File(\EFI\BOOT\BOOTX64.EFI)..BO
Boot0008* UEFI OS	HD(1,GPT,3af143d1-8991-4497-a8c1-085821ce8113,0x3f,0x201c84)/File(\EFI\BOOT\BOOTX64.EFI)..BO
# vkpurge rm 4.19.57_1
Removing kernel 4.19.57_1...
Running pre-remove kernel hook: 10-dkms...
dkms: removing: nvidia 430.14 (kernel-4.19.57_1) (x86_64)
dkms: removing: virtualbox-ose 6.0.8 (kernel-4.19.57_1) (x86_64)
Removing /boot/vmlinuz-4.19.57_1...
Removing /usr/lib/modules/4.19.57_1...
Running post-remove kernel hook: 20-dracut...
Running post-remove kernel hook: 50-efibootmgr...
efibootmgr: option requires an argument -- 'b'
efibootmgr version 17
usage: efibootmgr [options]
	-a | --active         sets bootnum active
	-A | --inactive       sets bootnum inactive
	-b | --bootnum XXXX   modify BootXXXX (hex)
	-B | --delete-bootnum delete bootnum
	-c | --create         create new variable bootnum and add to bootorder
	-C | --create-only	create new variable bootnum and do not add to bootorder
	-D | --remove-dups	remove duplicate values from BootOrder
	-d | --disk disk       (defaults to /dev/sda) containing loader
	-r | --driver         Operate on Driver variables, not Boot Variables.
	-e | --edd [1|3|-1]   force EDD 1.0 or 3.0 creation variables, or guess
	-E | --device num      EDD 1.0 device number (defaults to 0x80)
	-g | --gpt            force disk with invalid PMBR to be treated as GPT
	-i | --iface name     create a netboot entry for the named interface
	-l | --loader name     (defaults to "\EFI\void\grubx64.efi")
	-L | --label label     Boot manager display label (defaults to "Void Linux (GRUB2)")
	-m | --mirror-below-4G t|f mirror memory below 4GB
	-M | --mirror-above-4G X percentage memory to mirror above 4GB
	-n | --bootnext XXXX   set BootNext to XXXX (hex)
	-N | --delete-bootnext delete BootNext
	-o | --bootorder XXXX,YYYY,ZZZZ,...     explicitly set BootOrder (hex)
	-O | --delete-bootorder delete BootOrder
	-p | --part part        partition containing loader (defaults to 1 on partitioned devices)
	-q | --quiet            be quiet
	-t | --timeout seconds  set boot manager timeout waiting for user input.
	-T | --delete-timeout   delete Timeout.
	-u | --unicode | --UCS-2  handle extra args as UCS-2 (default is ASCII)
	-v | --verbose          print additional information
	-V | --version          return version and exit
	-w | --write-signature  write unique sig to MBR if needed
	-y | --sysprep          Operate on SysPrep variables, not Boot Variables.
	-@ | --append-binary-args file  append extra args from file (use "-" for stdin)
	-h | --help             show help/usage
Removing /usr/src/kernel-headers-4.19.57_1...
```