#include <kernel-image>

# ACPI drivers
fan
thermal

# Optimised CRC32
crc32_pclmul
