During the boot sequence for a Raspberry PI 4B, there is the sequence where it starts a 10 second countdown before booting the OS. However, the time between each second of the countdown is actually 6 seconds so that instead of a 10 second delay (like is seen on AMD64), it actually takes 60 seconds. This may be related to 242732 although that is a much older PR for an earlier Raspberry Pi.