Notes to myself.
Just install the ipxe package (apt install ipxe) and run sudo update-grub afterwards.