kernel-tests master: A couple of fixes pointed out by Charles-Antoine Couret (9503946)