Comment 2 for bug 84877

Revision history for this message
Dave Walker (davewalker) wrote :

found that a dirty "sudo touch /boot/System.map-player" has the same effect.