------------[ cut here ]------------
[    0.004164] WARNING: CPU: 0 PID: 0 at init/main.c:1023 start_kernel+0x398/0x39c
[    0.004762] Interrupts were enabled early
[    0.004868] Modules linked in:
[    0.005362] CPU: 0 UID: 0 PID: 0 Comm: swapper/0 Not tainted 6.15.0-rc6-next-20250513 #1 NONE 
[    0.005627] Hardware name: Generic DT based system
[    0.005770] Call trace: 
[    0.006294]  unwind_backtrace from show_stack+0x28/0x2c
[    0.006418]  show_stack from dump_stack_lvl+0x68/0x80
[    0.006456]  dump_stack_lvl from __warn+0xe0/0x1e8
[    0.006479]  __warn from warn_slowpath_fmt+0x134/0x184
[    0.006591]  warn_slowpath_fmt from start_kernel+0x398/0x39c
[    0.006616]  start_kernel from 0x0
[    0.006867] ---[ end trace 0000000000000000 ]---

<8>[  212.017942] <LAVA_SIGNAL_STARTTC semctl08>
tst_tmpdir.c:316: TINFO: Using /tmp/LTP_semDYn2Ve 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>[  212.032376] <LAVA_SIGNAL_ENDTC semctl08>
semctl08 semctl08
semctl08: <12>[   50.501180] /usr/local/bin/kirk[265]: starting test semctl08 (semctl08)
semctl08.c:38: TFAIL: time_high fields aren't cleared by the kernel