------------[ cut here ]------------
[    0.004008] WARNING: CPU: 0 PID: 0 at init/main.c:1023 start_kernel+0x38c/0x390
[    0.004667] Interrupts were enabled early
[    0.004859] Modules linked in:
[    0.005346] CPU: 0 UID: 0 PID: 0 Comm: swapper/0 Not tainted 6.15.0-rc6-next-20250513 #1 NONE 
[    0.005561] Hardware name: Generic DT based system
[    0.005682] Call trace: 
[    0.006109]  unwind_backtrace from show_stack+0x28/0x2c
[    0.006216]  show_stack from dump_stack_lvl+0x68/0x80
[    0.006249]  dump_stack_lvl from __warn+0xe0/0x1e8
[    0.006263]  __warn from warn_slowpath_fmt+0x12c/0x178
[    0.006358]  warn_slowpath_fmt from start_kernel+0x38c/0x390
[    0.006394]  start_kernel from 0x0
[    0.006610] ---[ end trace 0000000000000000 ]---

<8>[  161.655856] <LAVA_SIGNAL_STARTTC semctl08>
tst_tmpdir.c:316: TINFO: Using /tmp/LTP_semwat2kC as tmpdir (tmpfs filesystem)
tst_test.c:1900: TINFO: LTP version: 20250130
tst_test.c:1904: TINFO: Tested kernel: 6.15.0-rc6-next-20250513 #1 SMP @1747138355 armv7l
tst_kconfig.c:88: TINFO: Parsing kernel config '/proc/config.gz'
tst_kconfig.c:676: TINFO: CONFIG_TRACE_IRQFLAGS kernel option detected which might slow the execution
tst_test.c:1722: TINFO: Overall timeout per run is 0h 21m 36s
semctl08.c:38: TFAIL: time_high fields aren't cleared by the kernel

Summary:
passed   0
failed   1
broken   0
skipped  0
warnings 0

<8>[  161.670124] <LAVA_SIGNAL_ENDTC semctl08>
semctl08 semctl08
semctl08: <12>[   34.791768] /usr/local/bin/kirk[267]: starting test semctl08 (semctl08)
semctl08.c:38: TFAIL: time_high fields aren't cleared by the kernel