Fix ACPLUGGED setting with kernel 3.13