Every x86 hobby kernel on the OSDev wiki remaps the PIC to vectors 32-47 with these exact four ICWs, because leaving IRQ0-7 at their BIOS default of vectors 8-15 collides head-on with CPU exception vectors like the double-fault (8) and general-protection-fault (13) handlers. Linux's own arch/x86/kernel/i8259.c performs this identical remap during early boot before switching most systems over to the APIC.