Put simply, the issue seems to be: The vmlinuz-linux-tkg-bmq file is in my /boot/ directory as it should be but my computer doesn't recognize it on boot. I've searched that exact sentence and variations on it and I came across this post(Freezing a lot lately - #29 by petsam). Would a BIOS update potentially fix the issue?