32-bit linux-headers aren't loading properly from preseed, fixing w/script