# DF-3139 fix validation — patched kernel (#2, fix.diff applied)
# Baseline (stock #0): pread@0x200000 returned the superblock magic;
# pwrite@0x204000 overwrote raw sector 0x30 ('DF3139-PWNED-RAW-SECTOR-WRITE').
# Patched, identical image + trigger:
df3139_run: pread superblock: File too large
RC=1
0000000    38  00  00  00  00  00  00  00  00  00  00  00  00  00  00  00
UMOUNT_OK
# => al_len==0 leaf matches nothing (EFBIG); the pwrite never reached the
#    raw device; sector 0x30 unchanged. fix_status: fixed.