kalua: CONFIG_PROFILE cupandcoffee: ticket-regen-hack