On Tue, Jul 10, 2018 at 01:12:35PM +0200, Michael Tuexen wrote: > can you run on your G4: > > readelf -x set_modmetadata_set /boot/kernel/kernel > > This should provide a list of non-NULL pointers. However, on my G4 system > this section only contains NULL pointers. Mine is also all NULLs. ./danfe