ACPI Boot delay of 3s in dmesg

I have just installed the i3 edition on an HP EliteBook 840 G2 laptop. All working great so far and I am just trying to tune the system for best performance. On analysis of dmesg I see a 3 second delay during initial boot messages

[ 0.143385] ACPI: EC: interrupt blocked
[ 3.122261] ACPI: EC: EC_CMD/EC_SC=0x66, EC_DATA=0x62

Not sure if I can do anything about this - it could be related to the BIOS options I have, but I am not familiar with the ACPI EC functioning.

Does anyone have any ideas in this regard?


It is