Hi qubes-neurotic – welcome to the forum!
I think those steps were for Qubes OS r4.0 - version 4.1 and 4.2 uses GRUB as bootloader. I think you can reuse the steps from (one of the posts in):
Hi qubes-neurotic – welcome to the forum!
I think those steps were for Qubes OS r4.0 - version 4.1 and 4.2 uses GRUB as bootloader. I think you can reuse the steps from (one of the posts in):