make pisilinux visible for grub