And add (and default to) 5.19.13 to linux-headers. Signed-off-by: Peter Korsgaard <peter@korsgaard.com>