[LAD] Faster boot on Raspberry Pi 4