Use /usr/lib/ipxe like Debian package