Hi. For the record, "sbcl" has been failing to build for me 100% of the time on machines with a single CPU at least since version 2.3.7-2.
Please try GRUB_CMDLINE_LINUX="nr_cpus=1". If that does not work, please contact me privately and I will gladly provide a machine where it fails 100% of the time. Thanks.