make linux version - segfaults, probably because of lack of UEFI table. Make pointers mutable, doesn't help anything...