Oops I did it again...BIOS/UEFI problem?

This post (and the whole thread) should help understand:

Actually (as I think now), +32768 number should do the better job.