See: https://github.com/chipsec/chipsec/issues/461 Noticed that when ofBorg failed to build the kernel driver on ARM.