【2025-08-11】Saving 8 seconds of Linux boot time by setting ahci.mask_port_map