tvtime gets killed CONFIG_PAX_SIZE