not sure if aesni should be in BOOTMODULES too...