[pcbios] Don't use "lret $2" to return from an interrupt