tests: Use vprintk() in locked_printf()
This avoids blocking output and the use of the floating-point unit.