caution when updating acpica-tools on your Genode build infrastructure